[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:  new
 Priority:  Normal      |  Milestone:
Component:  ports       |    Version:  2.3.1
 Keywords:              |       Port:  cvc4
------------------------+--------------------------------
 Submitting a port for the newest stable version of CVC4, an automated
 theorem prover for SMT.  CVC4 is increasingly being depended on for other
 projects, so for those projects to be packaged for MacPorts, cvc4 will
 have to be available.

 We have been using this port internally (and distributed for our users)
 for some time now, but would like to have it included in .  I would be
 happy to maintain the port, as I am now, for new versions and for fixes to
 the packaging.

 The only somewhat ugly thing about this portfile is that it downloads and
 (statically) links in a dependence (the antlr C library).  This
 functionality would best be provided as a separate port (but isn't
 available currently).  I'd be willing to work with someone to create a
 suitable antlr-C port if that would be beneficial to the MacPorts
 community.

 I'd be interested in any feedback, especially suggested improvements.  The
 package is "port lint"-clean.  I also have a (substantially similar)
 "cvc4-devel" port, which could be included also, which tracks our nightly
 development snapshot.

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