[MacPorts] #16210: [new port] devel/libcudd -- An efficient library for manipulating decision diagrams

[MacPorts]

#16210: [new port] devel/libcudd -- An efficient library for manipulating decision
diagrams
----------------------------+-----------------------------------------------
  Reporter:  mij at bitchx.it  |       Owner:  macsforever2000 at macports.org
      Type:  enhancement    |      Status:  assigned                    
  Priority:  Normal         |   Milestone:  Port Submissions            
 Component:  ports          |     Version:  1.6.0                       
Resolution:                 |    Keywords:  port cudd                   
----------------------------+-----------------------------------------------
Changes (by macsforever2000 at macports.org):

 * cc: mij at bitchx.it (removed)

-- 
Ticket URL: <http://trac.macports.org/ticket/16210#comment:4>
MacPorts <http://www.macports.org/>
Ports system for Mac OS