blob: 6828c29b141a1853ecc90212e5ec1b249164d672 (
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).
WWW: https://davidkebo.com/cudd
|