|
Z3
|
|
|
Z3
|
|
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.
1.8.13