Z3 is a high-performance theorem prover being developed at Microsoft Research.

Z3 has moved to github: Z3

News

  • 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 at 2:43 PM by wintersteiger, version 74