Name : cudd
| |
Version : 2.5.0
| Vendor : Fedora Project
|
Release : 3.fc19
| Date : 2013-02-14 07:00:27
|
Group : Development/Libraries
| Source RPM : cudd-2.5.0-3.fc19.src.rpm
|
Size : 0.96 MB
| |
Packager : Fedora Project
| |
Summary : CU Decision Diagram Package
|
Description :
CUDD is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).
|
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/19/Everything/x86_64/os/Packages/c |