cudd
Colorado University Decision Diagram
WWW CVSWeb GITHub-
Package versioncudd-3.0.0p1
-
MaintainerAlessandro 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