CVC4

An efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

About
News
Downloads
Documentation
Publications
Awards
People
History
Third-Party Applications
Acknowledgements

Try CVC4 online!


26 March 2013

Mac and Win32 Nightly Builds Available

by Morgan Deters

This news post contains outdated information (e.g. links, instructions). Please refer to newer documentation for up-to-date information.

As mentioned on the users’ mailing list the other day, Win32 binaries are now available for our nightly development builds (and will be available for the next stable release, coming soon).

Additionally, Mac builds are available for the 1.0 release and for the nightly development “unstable” versions. Or, even better, if you have MacPorts installed, you can add our repository to your sources.conf (you’ll probably find it in /opt/local/etc/macports/sources.conf):

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

and once you’ve updated your cache (“sudo port sync“) then you can easily install the stable version (“sudo port install cvc4“) or the latest nightly build (“sudo port install cvc4-devel“).