# z3

[Z3](https://github.com/Z3Prover/z3) is a theorem prover from Microsoft
Research.  If you are not familiar with Z3, you can start
[here](https://github.com/Z3Prover/z3/wiki#background).