Index index by Group index by Distribution index by Vendor index by creation date index by Name GPG Public Key HomePage

cudd-2.4.1-3.el5.an RPM for i386

From Random RPMs I've built (built on Red Hat Enterprise Linux 5/CentOS 5)

Name: cudd Distribution: Aleksey Nogin's RPMs <http://nogin.org/RPM/>
Version: 2.4.1 Vendor: Aleksey Nogin <rpm(at)nogin.org>
Release: 3.el5.an Build date: Wed May 19 15:49:56 2010
Group: Development/Libraries Build host: localhost.localdomain
Size: 709434 Source RPM: cudd-2.4.1-3.el5.an.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.

Provides

Copyright

BSD

Signatures

internal MD5: 3976909771f13d71a652a30841c18f0d
GPG

Files

/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/lib/libcudd.a
/usr/lib/libcudd_util.a
/usr/lib/libmtr.a
/usr/lib/libst.a


Generated by rpm2html 1.9.2

Aleksey Nogin, Tue Oct 21 04:02:05 2014