Python 3.11 bindings for the Z3 theorem prover
