FRDCSA | external codebases | cudd-2.5.0

[Project image]

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 .