- Name: cudd
- Version: 2.5.0
- Release: 2
- Epoch:
- Group: Sciences/Mathematics
- License: BSD
- Url: http://vlsi.colorado.edu/~fabio/CUDD/
- Summary: CU Decision Diagram Package
- Architecture: x86_64
- Size: 1096883
- Distribution: Mandriva Linux
- Vendor: Mandriva
- Packager: Paulo Andrade <pcpa@mandriva.com.br>
Description:
CUDD is a package for the manipulation of Binary Decision Diagrams
(BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed
Binary Decision Diagrams (ZDDs).
- BuildArch:
- ExcludeArch:
- ExclusiveArch:
- Cookie: l1.mandriva.com 1345200585
- Buildhost: l1.mandriva.com
Generated packages:
- cudd-2.5.0-2.i586
- cudd-debuginfo-2.5.0-2.i586
- libcudd-devel-2.5.0-2.i586
- libcudd2-2.5.0-2.i586
- cudd-2.5.0-2.x86_64
- cudd-debuginfo-2.5.0-2.x86_64
- lib64cudd-devel-2.5.0-2.x86_64
- lib64cudd2-2.5.0-2.x86_64
Other version of this rpm: