https://github.com/Z3Prover/z3/tree/master/src/api/python
