Zero-suppressed Decision Diagram - Available Packages

Available Packages

  • CUDD: A BDD package written in C that implements BDDs and ZBDDs, University of Colorado, Boulder
  • JDD, A java library that implements common BDD and ZBDD operations

Read more about this topic:  Zero-suppressed Decision Diagram