Letter

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

Listing created by Repoview-0.6.3-1.fc11