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:


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 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/ 23-Jul-2014 06:01 - [DIR] cvc4/ 23-Jul-2014 06:01 - [DIR] math/ 03-Dec-2013 15:36 - [   ] PortIndex 13-Jul-2014 14:08 2.0K [   ] PortIndex.quick 13-Jul-2014 14:08 22 [   ] cvc4-pubkey.pem 10-Apr-2013 10:20 451 [TXT] header.html 14-May-2013 17:33 1.7K