To use these, you need to install MacPorts.
Note that the stable release of CVC4 is available in the MacPorts repository.
You only will need to
port install cvc4 to install the stable
release of CVC4.
If you want the nightly development releases, you can follow these instructions.
With MacPorts 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 cvc4-devel package (after making sure to
port sync to get the index). You cannot have both the stable and development
version both installed and active at once.
cvc4(from main MacPorts repository) -- the stable version
cvc4-devel(from our NYU MacPorts repository) -- 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/ 29-Nov-2015 07:46 - cvc4/ 29-Nov-2015 06:01 - math/ 02-Sep-2014 17:45 - PortIndex 02-Sep-2014 17:45 1.0K PortIndex.quick 02-Sep-2014 17:45 13 cvc4-pubkey.pem 10-Apr-2013 10:20 451 header.html 02-Sep-2014 17:44 2.1K