https://can-zhou.github.io/posts/Z3/
Z3 (Python API) - Can Zhou