Python 3.9 bindings for the Z3 theorem prover
