cudd

Colorado University Decision Diagram

WWW CVSWeb GITHub
  1. Package version
    cudd-3.0.0p1
  2. Maintainer
    Alessandro De Laurenzis

CUDD (Colorado University Decision Diagram) is a package written in C
for the manipulation of decision diagrams. It supports binary decision
diagrams (BDDs), algebraic decision diagrams (ADDs), and Zero-Suppressed
BDDs (ZDDs).

  • devel/doxygen
  • print/texlive/base
  • devel/gmake