Ticket #16210 (closed submission: fixed)
[new port] devel/libcudd -- An efficient library for manipulating decision diagrams
|Reported by:||mij@…||Owned by:||macsforever2000@…|
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.
- Status changed from new to assigned
- Owner changed from macports-tickets@… to macsforever2000@…
- Status changed from assigned to closed
- Resolution set to fixed