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@
3 lines
109 B
Plaintext
3 lines
109 B
Plaintext
SHA256 (cudd-3.0.0.tar.gz) = X+FFBBxZRonm589M1iPV8rfDYmFwi+jJpyrtcs9nrM4=
|
|
SIZE (cudd-3.0.0.tar.gz) = 1170745
|