Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

sci-mathematics/
cudd

Colorado University binary Decision Diagram library

https://davidkebo.com/cudd/

Available Versions

Versionamd64x86alphaarmarm64hppamipsppcppc64riscvsparc
3.0.0  : 0/3.0.0 EAPI 8 ~amd64 ~x86?alpha?arm?arm64?hppa?mips?ppc?ppc64?riscv?sparc

Package Metadata

  • Full description
    CUDD stands for Colorado University Decision Diagram. It is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).
  • License
    BSD
  • Maintainer(s)
    Gentoo Science Project