cudd-$V

Colorado University Decision Diagram

Index | devel

Description

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.mooo.com>

Build Dependencies