[MacPorts] #51094: z3 New port

[MacPorts]

#51094: z3 New port
--------------------------+--------------------------------
  Reporter:  AlshammariA  |      Owner:  macports-tickets@…
      Type:  submission   |     Status:  new
  Priority:  Normal       |  Milestone:
 Component:  ports        |    Version:  2.3.4
Resolution:               |   Keywords:
      Port:  z3           |
--------------------------+--------------------------------
Changes (by ryandesign):

 * cc: landonf (added)


Comment:

 Landon, it looks like you
 [changeset:8d2f4f3046a21a548baa5ea1a9ac00e7d7489f54/macports-ports added a
 z3 port] last year. If it was developed independently from the one
 submitted in this ticket, you may want to see if anything from this
 version needs to be incorporated into yours before this ticket is closed.

-- 
Ticket URL: <https://trac.macports.org/ticket/51094#comment:7>
MacPorts <https://www.macports.org/>
Ports system for macOS