A Java Library For Zero-Suppressed Decision Diagrams
Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems