These are stable Mac OS installer packages for CVC4.

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 /opt/local.

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!

Icon  Name                                       Last modified      Size  
[DIR] Parent Directory - [DIR] obsolete/ 06-Oct-2014 15:40 - [DIR] ports/ 02-Sep-2014 17:44 - [DIR] unstable/ 24-Oct-2014 07:46 - [   ] cvc4-1.4+debug.MacOs85.MountainLion.mpkg 24-Oct-2014 05:21 39M [   ] cvc4-1.4.MacOs85.MountainLion.mpkg 24-Oct-2014 04:42 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 [TXT] header.html 09-Apr-2013 18:52 945