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