Skip to content

Instantly share code, notes, and snippets.

@mn200

mn200/INSTALL-Z3-4.0.md

Created May 9, 2012 05:49
Show Gist options
  • Save mn200/2642214 to your computer and use it in GitHub Desktop.
Save mn200/2642214 to your computer and use it in GitHub Desktop.
Download ZIP
How to install Z3 4.0 on Linux
Raw
INSTALL-Z3-4.0.md

Installing Z3 version 4.0

  1. Download and unpack tar-ball from MSR download site.

  2. Run the z3 executable in z3/bin. Simple!

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