#16210: [new port] devel/libcudd -- An efficient library for manipulating decision diagrams ----------------------------+----------------------------------------------- Reporter: mij@bitchx.it | Owner: macsforever2000@macports.org Type: enhancement | Status: closed Priority: Normal | Milestone: Port Submissions Component: ports | Version: 1.6.0 Resolution: fixed | Keywords: port cudd ----------------------------+----------------------------------------------- Changes (by macsforever2000@macports.org): * status: assigned => closed * resolution: => fixed Comment: Committed revision r39298. Thanks for the contribution! -- Ticket URL: <http://trac.macports.org/ticket/16210#comment:5> MacPorts <http://www.macports.org/> Ports system for Mac OS