# 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).