| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | GPG Public Key | HomePage |
| Name: cudd | Distribution: Aleksey Nogin's RPMs <http://nogin.org/RPM/> |
| Version: 2.4.1 | Vendor: Aleksey Nogin <rpm(at)nogin.org> |
| Release: 1.el5 | Build date: Fri Jan 30 14:58:01 2009 |
| Group: Development/Libraries | Build host: cheetah.nogin.org |
| Size: 909171 | Source RPM: cudd-2.4.1-1.el5.src.rpm |
| Packager: Aleksey Nogin <rpm(at)nogin.org> | |
| Url: http://vlsi.colorado.edu/~fabio/CUDD/ | |
| Summary: CU Decision Diagram | |
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.
BSD
internal MD5: 0d0a2696f671f94227249cc01d50ce11
GPG
/usr/include/cudd /usr/include/cudd/cudd.h /usr/include/cudd/cuddInt.h /usr/include/cudd/cuddObj.hh /usr/include/cudd/dddmp.h /usr/include/cudd/mnemosyne.h /usr/include/cudd/mtr.h /usr/include/cudd/st.h /usr/include/cudd/util.h /usr/lib64/libcudd.a /usr/lib64/libcudd_util.a /usr/lib64/libmtr.a /usr/lib64/libst.a
Generated by rpm2html 1.9.2
Aleksey Nogin, Sat May 25 04:02:58 2013