Skip to content

Instantly share code, notes, and snippets.

@saadmahboob

saadmahboob/INSTALL-Z3-4.0.md

Forked from mn200/INSTALL-Z3-4.0.md
Created September 18, 2017 23:03
Show Gist options
  • Save saadmahboob/9ffd0d3b8e3f6a431155028c46ebdd46 to your computer and use it in GitHub Desktop.
Save saadmahboob/9ffd0d3b8e3f6a431155028c46ebdd46 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