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.src [1.0 MiB] |
Changelog
by Conrad Meyer (2009-03-29):
- Use Mamoru's patch (thanks!). |