Package cudd: Information
Source package: cudd
Version: 2.5.1-alt3
Build time: Jan 15, 2021, 07:14 AM
Category: Sciences/Mathematics
Report package bugHome page: http://vlsi.colorado.edu/~fabio/CUDD/
License: BSD
Summary: CUDD: Colorado University Decision Diagram Package
Description:
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.
List of RPM packages built from this SRPM:
cudd (e2kv5, e2kv4, e2k)
cudd-debuginfo (e2kv5, e2kv4, e2k)
libcudd (e2kv5, e2kv4, e2k)
libcudd-debuginfo (e2kv5, e2kv4, e2k)
libcudd-devel (e2kv5, e2kv4, e2k)
libcudd-devel-docs (noarch)
cudd (e2kv5, e2kv4, e2k)
cudd-debuginfo (e2kv5, e2kv4, e2k)
libcudd (e2kv5, e2kv4, e2k)
libcudd-debuginfo (e2kv5, e2kv4, e2k)
libcudd-devel (e2kv5, e2kv4, e2k)
libcudd-devel-docs (noarch)
Maintainer: Vladislav Zavjalov
Last changed
Aug. 12, 2018 Vladislav Zavjalov 2.5.1-alt3
- fix aarch64 build (do not use -malign-double compiler flag)
March 16, 2015 Eugeny A. Rostovtsev 2.5.1-alt2
- Added all symbols from libutil.a into libmtr.so
March 16, 2015 Eugeny A. Rostovtsev 2.5.1-alt1
- Initial build for Sisyphus