[MacPorts] #44543: Submission: cvc4, an automated theorem prover for SMT problems

[MacPorts]

#44543: Submission: cvc4, an automated theorem prover for SMT problems
-------------------------+--------------------------------
  Reporter:  mdeters@…   |      Owner:  macports-tickets@…
      Type:  submission  |     Status:  closed
  Priority:  Normal      |  Milestone:
 Component:  ports       |    Version:  2.3.1
Resolution:  fixed       |   Keywords:
      Port:  cvc4        |
-------------------------+--------------------------------
Changes (by khindenburg@…):

 * status:  new => closed
 * resolution:   => fixed


Comment:

 thanks - added r124908

 I removed the revision since this is a new port; and the conflicts since
 the -devel doesn't exist ATM.

-- 
Ticket URL: <https://trac.macports.org/ticket/44543#comment:5>
MacPorts <http://www.macports.org/>
Ports system for OS X