Python 3.12 bindings for the Z3 theorem prover
