Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Modules Pages
An Efficient Theorem Prover

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

The Z3 website moved to z3.codeplex.com.

The old Z3 website can be found here.

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