cudd - CUDD: Colorado University Decision Diagram Package

Property Value
Distribution ALT Linux Sisyphus
Repository Classic i586
Package filename cudd-2.5.1-alt3.i586.rpm
Package name cudd
Package version 2.5.1
Package release alt3
Package architecture i586
Package type rpm
Category Sciences/Mathematics
Homepage -
License -
Maintainer -
Download size 249.31 KB
Installed size 249.31 KB
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.


Package Version Architecture Repository
cudd-2.5.1-alt3.x86_64.rpm 2.5.1 x86_64 Classic
cudd - - -


Name Value
/lib/ -
libcudd = 2.5.1-alt3
rpmlib(PayloadIsLzma) -


Name Value
cudd = 2.5.1-alt3


Type URL
Binary Package cudd-2.5.1-alt3.i586.rpm
Source Package cudd-2.5.1-alt3.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    rpm [Sisyphus] i586 classic
    rpm [Sisyphus] noarch classic
  2. Update the package index:
    # sudo apt-get update
  3. Install cudd rpm package:
    # sudo apt-get install cudd




2018-08-12 - Vladislav Zavjalov <> 2.5.1-alt3
- fix aarch64 build (do not use -malign-double compiler flag)
2015-03-16 - Eugeny A. Rostovtsev (REAL) <real at> 2.5.1-alt2
- Added all symbols from libutil.a into
2015-03-16 - Eugeny A. Rostovtsev (REAL) <real at> 2.5.1-alt1
- Initial build for Sisyphus

See Also

Package Description
cudf-devel-0.9-alt6.i586.rpm CUDF (Common Upgradeability Description Format) C development stuff
cudf-tools-0.9-alt6.i586.rpm CUDF (Common Upgradeability Description Format) command-line tools
cuetools-1.4.0-alt1.git20131123.i586.rpm cue and toc file parsers and utilities
cuneiform-1.1.0-alt4.i586.rpm Cuneiform is an OCR system originally developed and open sourced by Cognitive technologies
cuneiform-qt-0.1.4-alt1.i586.rpm GUI frontend for Cuneiform OCR
cunit-0.7.5-alt7.i586.rpm C Unit Tester
cups-2.2.11-alt1.i586.rpm Common Unix Printing System - server package
cups-backend-bjnp-2.0.1-alt1.i586.rpm CUPS backend for the Canon BJNP network printers
cups-backend-serial-1.25.2-alt1.i586.rpm serial backend for cups
cups-filters-1.25.2-alt1.i586.rpm OpenPrinting CUPS filters and backends
cups-filters-devel-1.25.2-alt1.i586.rpm OpenPrinting CUPS filters and backends - development environment
cups-filters-libs-1.25.2-alt1.i586.rpm OpenPrinting CUPS filters and backends - cupsfilters and fontembed libraries
cups-ipptool-2.2.11-alt1.i586.rpm Common Unix Printing System - tool for performing IPP requests
cups-pdf-3.0.1-alt1.i586.rpm Extension for creating pdf-Files with CUPS
cups-pk-helper-0.2.7-alt0.1.ge8f9df2.i586.rpm A helper that makes system-config-printer use PolicyKit