CVC4 Mac OS installer packages

These are Mac OS installer packages for development versions of 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.

For stable release versions of CVC4, see here.
For MacPorts instructions on installing CVC4, see here.

Thank you for using CVC4!

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]cvc-nightly.zip19-Nov-2017 22:12 20M 
[   ]cvc4-devel-2017-01-05+debug.MacOs85.MountainLion.mpkg05-Jan-2017 02:31 48M 
[   ]cvc4-devel-2017-01-05.MacOs85.MountainLion.mpkg05-Jan-2017 01:49 20M 
[   ]cvc4-devel-2017-01-06+debug.MacOs85.MountainLion.mpkg11-Jan-2017 01:14 48M 
[   ]cvc4-devel-2017-01-06.MacOs85.MountainLion.mpkg11-Jan-2017 01:06 20M 
[   ]cvc4-devel-2017-01-12+debug.MacOs85.MountainLion.mpkg13-Jan-2017 01:13 48M 
[   ]cvc4-devel-2017-01-12.MacOs85.MountainLion.mpkg13-Jan-2017 01:06 20M 
[   ]cvc4-devel-2017-01-14+debug.MacOs85.MountainLion.mpkg18-Jan-2017 01:14 48M 
[   ]cvc4-devel-2017-01-14.MacOs85.MountainLion.mpkg18-Jan-2017 01:06 20M 
[   ]cvc4-devel-2017-01-19+debug.MacOs85.MountainLion.mpkg19-Jan-2017 02:34 49M 
[   ]cvc4-devel-2017-01-19.MacOs85.MountainLion.mpkg19-Jan-2017 01:49 20M 
[TXT]header.html09-Apr-2013 15:52 925