#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