tags:

views:

102

answers:

2
+3  Q: 

Are there any mature Binary Decision Diagram tools available?

Are there any Binary Decision Diagram (BDD) libraries for C, or other languages that are tested and have good documentation?

+2  A: 

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.

Hank Gay  2009-01-20 20:08:54
A: 

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

MaD70  2009-10-30 07:42:11

related questions

any good tool for makefile generation?
How do you pass a function as a parameter in C?
Where should a veteran C programmer start in order to master Java ?
Any good book on best practice and guidelines in developing a SDK in C?
How do you determine the size of a file in C?
Decoding printf statements in C (Printf Primer)
Shift operator in C
How to avoid redefining VERSION, PACKAGE, etc.
Alpha blending sprites in Nintendo DS Homebrew
When should I use type abstraction in embedded systems
How to implement continuations?
What are the barriers to understanding pointers and what can be done to overcome them?
Anyone have experience creating a shared library in MATLAB?
String.indexOf function in C
Passing multidimensional arrays as function arguments in C
C/C++ library for reading MIDI signals from a USB MIDI device
Choosing a static code analysis tool
How do you printf an unsigned long long int?
Good STL-like library for C.
Rockbox audio format
Why am I getting a malloc: double free error with realloc()?
Should I learn C?
GTK implementation of MessageBox
Is gettimeofday() guaranteed to be of microsecond resolution?
How to use the C socket API in C++ on z/OS