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

Исходный пакет: cudd

Версия: 2.5.1-alt2

Собран:  16 марта 2015 г. 16:40 в задании #141925

Категория: Науки/Математика

Gear: https://git.altlinux.org/gears/c/cudd.git?a=tree;hb=6f78784bccf3…

Домашняя страница: 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 (x86_64, i586)
cudd-debuginfo (x86_64, i586)
libcudd (x86_64, i586)
libcudd-debuginfo (x86_64, i586)
libcudd-devel (x86_64, i586)
libcudd-devel-docs (noarch)

Сопровождающий: Eugeny A. Rostovtsev