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/ 05-Aug-2014 15:12 - [DIR] ports/ 04-Jun-2013 08:33 - [DIR] unstable/ 20-Aug-2014 07:46 - [   ] cvc4-1.1.mpkg 09-May-2013 04:23 8.7M [   ] cvc4-1.2_4+production.mpkg 07-Dec-2013 04:19 9.1M [   ] cvc4-1.2_4.mpkg 07-Dec-2013 04:40 9.4M [   ] cvc4-1.3_3+debug.MacOs9.Mavericks.mpkg 25-Mar-2014 17:12 14M [   ] cvc4-1.3_3.MacOs9.Mavericks.mpkg 25-Mar-2014 17:12 10M [   ] cvc4-1.3_4+debug.MacOs85.MountainLion.mpkg 13-Jul-2014 04:41 14M [   ] cvc4-1.3_4.MacOs85.MountainLion.mpkg 13-Jul-2014 04:23 10M [   ] cvc4-1.4_2+debug.MacOs85.MountainLion.mpkg 20-Aug-2014 05:12 39M [   ] cvc4-1.4_2+debug.MacOs9.Mavericks.mpkg 05-Aug-2014 13:30 40M [   ] cvc4-1.4_2.MacOs85.MountainLion.mpkg 20-Aug-2014 04:38 19M [   ] cvc4-1.4_2.MacOs9.Mavericks.mpkg 05-Aug-2014 13:11 16M [   ] cvc4-dbg-1.0 01-Dec-2012 14:53 29M [   ] cvc4-opt-1.0 01-Dec-2012 14:51 6.5M [TXT] header.html 09-Apr-2013 18:52 945