5b9c1cc606
CUDD (Colorado University Decision Diagram) is a package written in C for the manipulation of decision diagrams. It supports binary decision diagrams (BDDs), algebraic decision diagrams (ADDs), and Zero-Suppressed BDDs (ZDDs). From Alessandro De Laurenzis; thanks! ok sthen@
5 lines
228 B
Plaintext
5 lines
228 B
Plaintext
CUDD (Colorado University Decision Diagram) is a package written in C
|
|
for the manipulation of decision diagrams. It supports binary decision
|
|
diagrams (BDDs), algebraic decision diagrams (ADDs), and Zero-Suppressed
|
|
BDDs (ZDDs).
|