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
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
“).