Sisyphus repository
Last update: 2018-10-20 23:10:32 +0400 | SRPMs: 18682 | Sign in or Sign up
en ru uk br
ALT Linux repositories
hide window
Sisyphus: 2.5.1-alt3
p8: 2.5.1-alt2

Group :: Sciences/Mathematics
Source RPM: cudd

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR (0/0)   Repocop 

Current version: 2.5.1-alt3
Built: 2 months ago
Size: 636 KB
Repocop status: ok

Home page:

License: BSD
Summary: CUDD: Colorado University Decision Diagram Package

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.

Current maintainer: Vladislav Zavjalov

List of contributors: ACL: List of rpms provided by this srpm:
  • cudd
  • cudd-debuginfo
  • libcudd
  • libcudd-debuginfo
  • libcudd-devel
  • libcudd-devel-docs
Recent changes (last three changelog entries):

2018-08-12 Vladislav Zavjalov <slazav at> 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

© 2009–2018 Igor Zubkov