Package Info

cudd


Binary Decision Diagram manipulation library


Productivity/Scientific/Math

CUDD is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).


License: BSD-3-Clause
URL: http://vlsi.colorado.edu/~fabio/

Categories

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
3.0.0-bp154.2.19 info GA Release 2022-05-09 15 SP4
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • cudd-debugsource
  • cudd-devel
  • libcudd-3_0_0-0
  • libcudd-3_0_0-0-debuginfo
3.0.0-bp153.1.16 info GA Release 2021-03-06 15 SP3
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • cudd-devel
  • libcudd-3_0_0-0
3.0.0-bp152.3.14 info GA Release 2020-04-16 15 SP2
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • cudd-devel
  • libcudd-3_0_0-0
3.0.0-bp151.3.1 info GA Release 2019-07-17 15 SP1
  • AArch64
  • s390x
  • x86-64
  • cudd-devel
  • libcudd-3_0_0-0
3.0.0-bp151.2.15 info GA Release 2019-05-18 15 SP1
  • ppc64le
  • cudd-devel
  • libcudd-3_0_0-0
3.0.0-bp150.2.3 info GA Release 2018-07-30 15
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • cudd-devel
  • libcudd-3_0_0-0