#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