libcudd

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.

http://vlsi.colorado.edu/~fabio/CUDD/

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

sudo port install libcudd

Add to my watchlist

Installations 0
Requested Installations 0