[MacPorts] #51094: "z3 New port"

[MacPorts]

#51094: "z3 New port"
----------------------+--------------------------------
 Reporter:  aturqi@…  |      Owner:  macports-tickets@…
     Type:  request   |     Status:  new
 Priority:  Normal    |  Milestone:
Component:  ports     |    Version:  2.3.4
 Keywords:  z3        |       Port:  z3
----------------------+--------------------------------
 {{{
 This is a new port of a software that is not in macports yet. Some other
 ports might need this as a dependency.
 }}}

-- 
Ticket URL: <https://trac.macports.org/ticket/51094>
MacPorts <https://www.macports.org/>
Ports system for OS X