Installation: pip install z3-solver Docs: https://github.com/Z3Prover/z3 https://ericpony.github.io/z3py-tutorial/guide-examples.htm https://z3prover.github.io/papers/programmingz3.html http://www.cs.toronto.edu/~victorn/tutorials/z3_SAT_2019/index.html