Пакет cudd: Информация

    Исходный пакет: cudd
    Версия: 2.5.1-alt3
    Собран:  12 марта 2022 г. 5:14
    Категория: Науки/Математика
    Сообщить об ошибке в пакете
    Домашняя страница: http://vlsi.colorado.edu/~fabio/CUDD/

    Лицензия: BSD
    О пакете: 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.

    Список rpm-пакетов, предоставляемых данным srpm-пакетом:
    cudd (e2kv6, e2kv5, e2kv4, e2k)
    cudd-debuginfo (e2kv6, e2kv5, e2kv4, e2k)
    libcudd (e2kv6, e2kv5, e2kv4, e2k)
    libcudd-debuginfo (e2kv6, e2kv5, e2kv4, e2k)
    libcudd-devel (e2kv6, e2kv5, e2kv4, e2k)
    libcudd-devel-docs (noarch)

    Сопровождающий: Vladislav Zavjalov

    Список участников:
    Vladislav Zavjalov
    Eugeny A. Rostovtsev

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

    Последнее изменение


    12 августа 2018 г. Vladislav Zavjalov 2.5.1-alt3
    - fix aarch64 build (do not use -malign-double compiler flag)
    16 марта 2015 г. Eugeny A. Rostovtsev 2.5.1-alt2
    - Added all symbols from libutil.a into libmtr.so
    16 марта 2015 г. Eugeny A. Rostovtsev 2.5.1-alt1
    - Initial build for Sisyphus