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!). |