Edit Package cudd


CUDD is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).

Source Files (show merged sources derived from linked package)
Filename Size Changed
cudd-3.0.0.tar.gz 0001175302 1.12 MB over 6 years
cudd.changes 0000000909 909 Bytes almost 3 years
cudd.spec 0000002489 2.43 KB almost 3 years
Comments 0
openSUSE Build Service is sponsored by