cudd  3.0.0
The University of Colorado Decision Diagram Package
File List
Here is a list of all documented files with brief descriptions:
[detail level 12]
  cplusplus
  cudd
  epd
  mtr
  nanotrav
  st
  util