Package cudd: Information

    Source package: cudd
    Version: 2.5.1-alt3
    Build time:  Aug 12, 2018, 10:31 AM in the task #211297
    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 rpms provided by this srpm:
    cudd (x86_64, i586, aarch64)
    cudd-debuginfo (x86_64, i586, aarch64)
    libcudd (x86_64, i586, aarch64)
    libcudd-debuginfo (x86_64, i586, aarch64)
    libcudd-devel (x86_64, i586, aarch64)
    libcudd-devel-docs (noarch)

    Maintainer: Vladislav Zavjalov


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

    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