Here is a list of all modules:
| cudd | The University of Colorado Decision Diagram package |
| mtr | Multiway-branching Trees |
| epd | Extended double precision package |
| st | Symbol Table package |
| util | Low-level utilities |
| cstringstream | (Simple) stringstreams in C |
| cplusplus | C++ CUDD wrapper |
| nanotrav | CUDD test application |