Пакет libcudd: Информация
Бинарный пакет: libcudd
Версия: 2.5.1-alt3
Архитектура: aarch64
Собран: 12 августа 2018 г. 10:31 в задании #211297
Исходный пакет: cudd
Категория: Система/Библиотеки
Сообщить об ошибке в пакетеЗагрузка: libcudd-2.5.1-alt3.aarch64.rpm
Домашняя страница: http://vlsi.colorado.edu/~fabio/CUDD/
Лицензия: BSD
О пакете: Shared libraries of cudd
Описание:
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. This package contains shared libraries of cudd.
Сопровождающий: Vladislav Zavjalov
Последнее изменение
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