Are there any mature Binary Decision Diagram tools available? [closed] - c

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 7 years ago.
Improve this question
Are there any Binary Decision Diagram (BDD) libraries for C, or other languages that are tested and have good documentation?

Check the BDD library from CMU.
Also, for basic reference purposes, Pre-Fascicle 1b of The Art of Computer Programming is all about BDDs. Here's a gzipped postscript of it. Knuth has posted a number of the programs he wrote while preparing for it on his Programs to Read page.

Check out CUDD.
For some info on how to set it up in Windows environments try this..

Binary decision diagram Wikipedia entry, in External links section, as a quite complete list of packages.

BDDBDDB is a BDD-based system for resolving logical inferences a la Prolog. It's been used in program analysis, general game playing, and many other domains. It might not be exactly what you're looking for, but it's well-known and well-maintained.

Related

tool to visualize C sourcecode [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 3 years ago.
Improve this question
It's always hard to understand new code,
especially if it is spread over many files with
hundreds of functions - like most linux kernel parts.
I think it is easier to understand the big picture if it is
visualized and if you can follow the links "with your eyes".
I am therefore looking for a tool to visualize C code,
which function is calling which one, where is the entry
and so on.
I would prefer a vscode plugin but it doesn't really matter.
Thank you in advance!
You might want to try these tools:
https://github.com/johnyf/pycflow2dot
Layout C call graphs from cflow using GraphViz dot
https://marketplace.visualstudio.com/items?itemName=joaompinto.vscode-graphviz
vscode extension for Graphviz
http://www.gson.org/egypt
egypt - a tool for making call graphs
https://kcachegrind.github.io
KCachegrind profiling tool Callgrind and the profile data visualization

Decoding scuba dive computer log files [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 5 years ago.
Improve this question
Does anyone know of any libraries that decode one or more of the multitude of different scuba dive computer log file formats?
DAN DL7
IRIS / DRAK
Suunto
Oceanlog
Citizen
ProDive
NiTek Logic
DCDS
Ideally I'm looking for code that'll run in .NET, but I'm willing to transcode from other languages if that's the only option.
Links to articles describing formats is appreciated as well. Sample log files would be handy.
I'm considering creating an open source project for this if no such library already exists. If you'd like to contribute, please mention so as a comment or in your answer.
I have no experience with this but Google turned up the library libdivecomputer.
It supports a number of devices and platforms, and the library is LGPL licensed. However, not all brands you mention appear to be supported.
You can always try contacting the manufacturers to get the data. You might have better luck contacting the engineers specifically, if you can find them.
I don't know much about the industry, but I would suspect you can make a case for opening up their formats, because they are primarily hardware manufacturers.

Contributing to open source projects [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 8 years ago.
Improve this question
I am relatively new to programming, but I enjoy it a lot. I was told that contributing to opensource projects is a good way to learn a lot more. Anywyas, I was wondering if anybody knew what projects I could contribute to--even if I play a small role any experience would be appreciated.
My background is C and Java. I prefer working with C though.
Thanks!
Joey
Well, probably you should contribute to a project you already use.
Go to sourceforge and look for a project you like. You'll be no use to anyone unless you have a personal interest in the software. Pick a project you use in your daily work and play and make it better. Start with a smaller project as you'll likely get a better reception than trying to work on Firefox or the Linux kernel.

Best stats library for C (not C++) [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 7 years ago.
Improve this question
Anyone know of a good statistics library for C? I'm looking for something that is commonly used and not a small project. EDIT: must be free!
gsl (http://www.gnu.org/software/gsl/) is widely available, portable, and has a lot of nice functionality.
Statistics are frequently done in other languages, but some of those languages will be callable from C. I'd recommend looking at R and Octave; the latter is an open source Matlab work-alike. Both are programming languages in their own right, but many other languages can be called from C.
In my opinion, MATLAB is a very good choice you can use for that. Here is an article on how to call MATLAB from C.
It ain't cheap. But you did not specify anything about the library being cheap or free. Plus, you are mentioning it's a big project.... :-)

Opensource Object Database? [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 7 years ago.
Improve this question
Is there any open source Object Database available? I would like to have a look at the source code and see how stuffs are implemented.
http://www.zope.org/Wikis/ZODB is the first coming to mind, but here's a list of both commercial and open source object databases:
http://www.odbms.org/vendors.html
db4o is my favorite.
You probably want to take a look at Magma, a Smalltalk OODB inspired by Gemstone.
Magma is an OODB with full source in Squeak Smalltalk. See http://wiki.squeak.org/squeak/2665. Even if you want to use a different implementation language, reading the code should be helpful. There is an active mailing list, where questions are answered quickly.
Gemstone is probably the largest OODB company, with the best track-record. It used to be very expensive, but they introduced a free but not open source version for small (4GB) databases recently in their GLASS (Gemstone, Linux, Apache and Seaside) offering.
Prevayler is one of them.
CouchDB is a document database, much the same thing as an object one.

Resources