To use these, you need to install MacPorts.
Once MacPorts is installed, add the following line to
To take advantage of the binary MacPorts archives we've built (optional, but may speed up the install process), download cvc4-pubkey.pem and update two more files:
name cvc4 urls http://cvc4.cs.nyu.edu/macports/ type tbz2# In
Then, simply install the package you want (after making sure to
port sync to get the index):
cvc4-- the stable version
cvc4-devel-- the most recent development version
These packages should work on any version of Mac OS that MacPorts works on.
Installation is in
Mac OS installers for CVC4 are kept here.
Thank you for using CVC4!
Name Last modified Size
Parent Directory - cvc4-devel/ 05-Dec-2013 12:14 - cvc4/ 05-Dec-2013 12:14 - math/ 03-Dec-2013 15:36 - PortIndex 05-Nov-2013 18:39 3.1K PortIndex.quick 05-Nov-2013 18:39 43 cvc4-pubkey.pem 10-Apr-2013 10:20 451 header.html 14-May-2013 17:33 1.7K