Package cudd: Information

    Source package: cudd
    Version: 2.5.1-alt3
    Build time:  Jan 15, 2021, 07:14 AM
    Report package bug
    License: BSD
    Summary: CUDD: Colorado University Decision Diagram Package
    Description: 
    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.

    List of RPM packages built from this SRPM:
    cudd (e2kv5, e2kv4, e2k)
    cudd-debuginfo (e2kv5, e2kv4, e2k)
    libcudd (e2kv5, e2kv4, e2k)
    libcudd-debuginfo (e2kv5, e2kv4, e2k)
    libcudd-devel (e2kv5, e2kv4, e2k)
    libcudd-devel-docs (noarch)

    Maintainer: Vladislav Zavjalov


      1. gcc-c++
      2. rpm-macros-make
      3. libstdc++-devel

    Last changed


    Aug. 12, 2018 Vladislav Zavjalov 2.5.1-alt3
    - fix aarch64 build (do not use -malign-double compiler flag)
    March 16, 2015 Eugeny A. Rostovtsev 2.5.1-alt2
    - Added all symbols from libutil.a into libmtr.so
    March 16, 2015 Eugeny A. Rostovtsev 2.5.1-alt1
    - Initial build for Sisyphus