An Efficient Theorem Prover

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

The Z3 website is at http://github.com/z3prover.

This website hosts the automatically generated documentation for the Z3 APIs.

• C API
  
• C++ API
  
• .NET API
• Java API
• Python API (also available in pydoc format)
• ML/OCaml API