This project is read-only.
Z3 is a high-performance theorem prover being developed at Microsoft Research.

Z3 has moved to github: Z3


  • Most information previously available here is now in the Z3 Wiki.
  • This site will be retired and taken down as soon as we have moved all useful information.

Last edited Apr 13, 2015 at 3:43 PM by wintersteiger, version 74