Пакет 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)
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
Последнее изменение
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