The CUDD package manipulates Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed binary Decision Diagrams (ZDDs).