These are MacPorts packages for development releases of CVC4.

To use these, you need to install MacPorts. Note that the stable release of CVC4 is available in the MacPorts repository. You only will need to port install cvc4 to install the stable release of CVC4.

If you want the nightly development releases, you can follow these instructions. With MacPorts installed, add the following line to /opt/local/etc/macports/sources.conf:

rsync://cvc4.cs.nyu.edu/macports/

To take advantage of the binary MacPorts archives we've built (optional, but may speed up the install process), download cvc4-pubkey.pem and update two more files:

# In /opt/local/etc/macports/archive_sites.conf name cvc4 urls http://cvc4.cs.nyu.edu/macports/ type tbz2 # In /opt/local/etc/macports/pubkeys.conf /path/to/cvc4-pubkey.pem

Then, simply install the cvc4-devel package (after making sure to port sync to get the index). You cannot have both the stable and development version both installed and active at once.

These packages should work on any version of Mac OS that MacPorts works on.

Installation is in /opt/local.

Mac OS installers for CVC4 are kept here.

Thank you for using CVC4!

Icon  Name                    Last modified      Size  
[DIR] Parent Directory - [DIR] cvc4-devel/ 20-Dec-2014 07:46 - [DIR] cvc4/ 20-Dec-2014 06:01 - [DIR] math/ 02-Sep-2014 17:45 - [   ] PortIndex 02-Sep-2014 17:45 1.0K [   ] PortIndex.quick 02-Sep-2014 17:45 13 [   ] cvc4-pubkey.pem 10-Apr-2013 10:20 451 [TXT] header.html 02-Sep-2014 17:44 2.1K