Skip to content

Instantly share code, notes, and snippets.

@coolya

coolya/todo.md

Created February 1, 2017 20:16
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save coolya/c090658bfff97a730386545bf6ecc396 to your computer and use it in GitHub Desktop.
Save coolya/c090658bfff97a730386545bf6ecc396 to your computer and use it in GitHub Desktop.
Download ZIP
install cvc4
Raw
todo.md

Download and extract http://cvc4.cs.nyu.edu/builds/misc/cvc4-1.4.1-prerelease-2016-01-03.tar.gz

run:

  xcode-select --install
  brew install libantlr3c boost

In the dicretory where you extracted the archive run

  ./configure
  make install -j12

wait until it finished.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment