v 2.5.0

An efficient library for manipulating decision diagrams

The CUDD package provides functions to manipulate Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed Binary Decision Diagrams (ZDDs). It's been written by Fabio Somenzi at the University of Colorado, Boulder.

To install libcudd, paste this in macOS terminal after installing MacPorts

sudo port install libcudd

Add to my watchlist

Installations 0
Requested Installations 0