CVC4 MacPorts packages

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!

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]PortIndex02-Sep-2014 14:45 1.0K 
[   ]PortIndex.quick02-Sep-2014 14:45 13  
[DIR]cvc4-devel/17-Mar-2017 20:46 -  
[   ]cvc4-pubkey.pem10-Apr-2013 07:20 451  
[DIR]cvc4/19-Jan-2017 03:01 -  
[TXT]header.html02-Sep-2014 14:44 2.1K 
[DIR]math/02-Sep-2014 14:45 -