cudd - CU Decision Diagram Package
Website: | http://vlsi.colorado.edu/~fabio/CUDD/ |
---|---|
License: | BSD |
Vendor: | Fedora Project |
- Description:
CUDD is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).
Packages
cudd-2.4.1-6.fc11.ppc [413 KiB] |
Changelog
by Conrad Meyer (2009-03-29):
- Use Mamoru's patch (thanks!). |
cudd-2.4.1-6.fc11.ppc64 [441 KiB] |
Changelog
by Conrad Meyer (2009-03-29):
- Use Mamoru's patch (thanks!). |