blob: 3e654339320c3b6557ebd9374e51b62172a7f1d2 (
plain) (
tree)
|
|
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).
|