cudd-devel - Header files and man pages for cudd
Website: | http://vlsi.colorado.edu/~fabio/CUDD/ |
---|---|
License: | BSD |
Vendor: | Fedora Project |
- Description:
Development headers and man pages for cudd.
Packages
cudd-devel-2.4.1-6.fc11.ppc [479 KiB] |
Changelog
by Conrad Meyer (2009-03-29):
- Use Mamoru's patch (thanks!). |
cudd-devel-2.4.1-6.fc11.ppc64 [479 KiB] |
Changelog
by Conrad Meyer (2009-03-29):
- Use Mamoru's patch (thanks!). |