CUDD

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).

Refresh
Refresh
Source Files
Filename Size Changed
cudd-2.5.0.tar.gz 0001053054 1 MB
cudd-automake.diff 0000006337 6.19 KB
cudd.changes 0000000387 387 Bytes
cudd.spec 0000002631 2.57 KB
Revision 4 (latest revision is 15)
Jan Engelhardt's avatar Jan Engelhardt (jengelh) committed (revision 4)
Use original tarball
Comments 0
openSUSE Build Service is sponsored by