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