These are MacPorts packages for CVC4.

To use these, you need to install MacPorts.

Once MacPorts is 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 package you want (after making sure to port sync to get the index):

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/ 01-Sep-2014 06:01 - [DIR] cvc4/ 01-Sep-2014 06:01 - [DIR] math/ 03-Dec-2013 15:36 - [   ] PortIndex 05-Aug-2014 12:40 1.9K [   ] PortIndex.quick 05-Aug-2014 12:40 22 [   ] cvc4-pubkey.pem 10-Apr-2013 10:20 451 [TXT] header.html 14-May-2013 17:33 1.7K