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 http://github.com/z3prover/z3/wiki.

The old Z3 website can be found here.

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

Contact Us | Privacy & Cookies | Terms Of Use | Trademarks | © 2015 Microsoft