2

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

starblue
  • 55,348
  • 14
  • 97
  • 151

4 Answers4

4

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
  • 70,339
  • 36
  • 160
  • 222
2

Check out CUDD.

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

AndyUK
  • 3,933
  • 7
  • 42
  • 44
1

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

MaD70
  • 4,078
  • 1
  • 25
  • 20
0

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.

templatetypedef
  • 362,284
  • 104
  • 897
  • 1,065