#16210: [new port] devel/libcudd -- An efficient library for manipulating decision diagrams ---------------------------+------------------------------------------------ Reporter: mij@bitchx.it | Owner: macports-tickets@lists.macosforge.org Type: enhancement | Status: new Priority: Normal | Milestone: Port Submissions Component: ports | Version: 1.6.0 Keywords: port cudd | ---------------------------+------------------------------------------------ This is the port for the CUDD library (http://vlsi.colorado.edu/~fabio/CUDD/), widely used in the model checking field. One patch is included for setting correct system-specific flags for darwin. One ui_msg is displayed after compiling to warn the user how to use the library in order to avoid aliasing with dynamic libraries present in the system. -- Ticket URL: <http://trac.macports.org/ticket/16210> MacPorts <http://www.macports.org/> Ports system for Mac OS