CUDD stands for Colorado University Decision Diagram. It is a package for the
manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams
(ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).