Репозиторий Sisyphus
Последнее обновление: 1 октября 2023 | Пакетов: 18631 | Посещений: 37040905
en ru br
Репозитории ALT

Группа :: Науки/Математика
Пакет: cudd

 Главная   Изменения   Спек   Патчи   Sources   Загрузить   Gear   Bugs and FR  Repocop 

Текущая версия: 2.5.1-alt3
Время сборки: 12 августа 2018, 07:08 ( 293.6 недели назад )
Размер архива: 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

Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета:

Список rpm-пакетов, предоставляемый данным srpm-пакетом:

  • cudd
  • cudd-debuginfo
  • libcudd
  • libcudd-debuginfo
  • libcudd-devel
  • libcudd-devel-docs
ACL:
     
    дизайн и разработка: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    текущий майнтейнер: Michael Shigorin