Mac and Win32 nightly builds available
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):
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“).