4 lines
215 B
Plaintext
4 lines
215 B
Plaintext
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).
|