To use these, simply download and install the appropriate package file. They should work on Mac OS X Lion and newer (and perhaps older also).
Installation is in
Installers for development versions since the last stable release are kept here.
For MacPorts instructions on installing CVC4, see here.
Thank you for using CVC4!
Name Last modified Size
Parent Directory - obsolete/ 06-Oct-2014 15:40 - ports/ 02-Sep-2014 17:44 - unstable/ 28-Aug-2016 06:01 - cvc4-1.4+debug.MacOs85.MountainLion.mpkg 28-Aug-2016 04:15 39M cvc4-1.4.MacOs85.MountainLion.mpkg 28-Aug-2016 04:07 19M cvc4-1.4_0.MacOs85.MountainLion.mpkg 06-Oct-2014 15:34 19M cvc4-1.4_0.MacOs9.Mavericks.mpkg 06-Oct-2014 15:30 16M cvc4-1.4_2+debug.MacOs85.MountainLion.mpkg 30-Aug-2014 05:14 39M cvc4-1.4_2+debug.MacOs9.Mavericks.mpkg 05-Aug-2014 13:30 40M header.html 09-Apr-2013 18:52 945