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] ports/ 04-Jun-2013 08:33 - [DIR] unstable/ 24-Apr-2014 06:01 - [   ] cvc4-1.1.mpkg 09-May-2013 04:23 8.7M [   ] cvc4-1.2+production.mpkg 26-Jun-2013 04:20 8.4M [   ] cvc4-1.2.mpkg 26-Jun-2013 04:43 9.0M [   ] cvc4-1.2_3+production.mpkg 01-Nov-2013 04:05 8.9M [   ] cvc4-1.2_3.mpkg 01-Nov-2013 04:10 9.2M [   ] 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+debug.MacOs85.MountainLion.mpkg 23-Dec-2013 04:28 10M [   ] cvc4-1.3.MacOs85.MountainLion.mpkg 23-Dec-2013 04:22 10M [   ] cvc4-1.3.MacOs9.Mavericks.mpkg 09-Dec-2013 15:33 9.9M [   ] cvc4-1.3_1+debug.MacOs85.MountainLion.mpkg 20-Jan-2014 04:10 16M [   ] cvc4-1.3_1.MacOs85.MountainLion.mpkg 20-Jan-2014 04:05 12M [   ] cvc4-1.3_2+debug.MacOs85.MountainLion.mpkg 25-Mar-2014 04:11 16M [   ] cvc4-1.3_2+debug.MacOs9.Mavericks.mpkg 28-Jan-2014 09:16 15M [   ] cvc4-1.3_2.MacOs85.MountainLion.mpkg 25-Mar-2014 04:05 12M [   ] cvc4-1.3_2.MacOs9.Mavericks.mpkg 28-Jan-2014 09:01 12M [   ] cvc4-1.3_3+debug.MacOs85.MountainLion.mpkg 10-Apr-2014 04:39 16M [   ] cvc4-1.3_3+debug.MacOs9.Mavericks.mpkg 25-Mar-2014 17:12 14M [   ] cvc4-1.3_3.MacOs85.MountainLion.mpkg 10-Apr-2014 04:21 12M [   ] cvc4-1.3_3.MacOs9.Mavericks.mpkg 25-Mar-2014 17:12 10M [   ] cvc4-1.3_4+debug.MacOs85.MountainLion.mpkg 24-Apr-2014 04:10 14M [   ] cvc4-1.3_4.MacOs85.MountainLion.mpkg 24-Apr-2014 04:05 10M [   ] 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