by Morgan Deters
This news post contains outdated information (e.g. links, instructions). Please refer to newer documentation for up-to-date information.
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
sudo port install cvc4-devel“).