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-3.0.0.tar.gz 0001175302 1.12 MB
cudd.changes 0000000909 909 Bytes
cudd.spec 0000002489 2.43 KB
Revision 10 (latest revision is 15)
buildservice-autocommit accepted request 370863 from Jan Engelhardt's avatar Jan Engelhardt (jengelh) (revision 10)
baserev update by copy to link target
Comments 0
openSUSE Build Service is sponsored by