Mac and Win32 Nightly Builds Available

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