Python 3.10 bindings for the Z3 theorem prover
