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

MacPorts noreply at macports.org
Sat Aug 16 12:38:42 PDT 2008


#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):

  * owner:  macports-tickets at lists.macosforge.org =>
            macsforever2000 at macports.org
  * status:  new => assigned

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


More information about the macports-tickets mailing list