Index index by Group index by Distribution index by Vendor index by creation date index by Name GPG Public Key HomePage 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 <>
Version: 2.4.1 Vendor: Aleksey Nogin <rpm(at)>
Release: Build date: Wed May 19 15:49:56 2010
Group: Development/Libraries Build host: localhost.localdomain
Size: 709434 Source RPM:
Packager: Aleksey Nogin <rpm(at)>
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.





internal MD5: 3976909771f13d71a652a30841c18f0d



Generated by rpm2html 1.9.2

Aleksey Nogin, Wed Apr 23 04:02:04 2014