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.
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, run the following command in macOS terminal (Applications->Utilities->Terminal)
sudo port install libcudd
To see what files were installed by libcudd, run:
port contents libcudd
To later upgrade libcudd, run:
sudo port selfupdate && sudo port upgrade libcudd
Reporting an issue on MacPorts Trac
The MacPorts Project uses a system called Trac to file tickets to report bugs and enhancement requests.
Though anyone may search Trac for tickets, you must have a GitHub account in order to login to Trac to create tickets.