Colorado University Decision Diagram
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).

Maintainer: Alessandro De Laurenzis <just22@atlantide.t28.net>

WWW: https://github.com/ivmai/cudd
