| Name : cudd
| |
| Version : 2.4.1
| Vendor : (none)
|
| Release : 1.el5
| Date : 2009-01-30 20:23:09
|
| Group : Development/Libraries
| Source RPM : cudd-2.4.1-1.el5.src.rpm
|
| Size : 0.67 MB
| |
| Packager : Aleksey Nogin < rpm_nogin_org>
| |
| Summary : CU Decision Diagram
|
Description :
The CUDD package provides functions to manipulate Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed Binary Decision Diagrams (ZDDs). BDDs are used to represent switching functions; ADDs are used to represent function from $\\{0,1\\}^n$ to an arbitrary set. ZDDs represent switching functions like BDDs; however, they are much more efficient than BDDs when the functions to be represented are characteristic functions of cube sets, or in general, when the ON-set of the function to be represented is very sparse. They are inferior to BDDs in other cases.
The package provides a large set of operations on BDDs, ADDs, and ZDDs, functions to convert BDDs into ADDs or ZDDs and vice versa, and a large assortment of variable reordering methods.
|
RPM found in directory: /packages/linux-pbone/rpmbin.nogin.org/random_RPMs/RHEL-5 |
