cudd  3.0.0
The University of Colorado Decision Diagram Package
Modules
Here is a list of all modules:
 cuddThe University of Colorado Decision Diagram package
 mtrMultiway-branching Trees
 epdExtended double precision package
 stSymbol Table package
 utilLow-level utilities
 cstringstream(Simple) stringstreams in C
 cplusplusC++ CUDD wrapper
 nanotravCUDD test application