.
FRDCSA | external codebases | cudd-2.5.0
Homepage

[Project image]
cudd-2.5.0

Jump to: Project Description

Project Description

The CUDD package 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).


This page is part of the FWeb package.
Last updated Sat Oct 26 16:56:57 EDT 2019 .