Группа :: Науки/Математика
Пакет: cudd
Главная Изменения Спек Патчи Sources Загрузить Gear Bugs and FR Repocop
Текущая версия: 2.5.1-alt3
Время сборки: 12 августа 2018, 07:08 ( 297.9 недели назад )
Размер архива: 636.04 Kb
Домашняя страница: http://vlsi.colorado.edu/~fabio/CUDD/
Лицензия: BSD
О пакете: CUDD: Colorado University Decision Diagram Package
Описание:
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета: Список rpm-пакетов, предоставляемый данным srpm-пакетом:
ACL:
Время сборки: 12 августа 2018, 07:08 ( 297.9 недели назад )
Размер архива: 636.04 Kb
Домашняя страница: 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.
Текущий майнтейнер: Vladislav Zavjalov 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
- cudd-debuginfo
- libcudd
- libcudd-debuginfo
- libcudd-devel
- libcudd-devel-docs