Python 3.10 bindings for the Z3 SMT solver library from Microsoft Research.

WWW: https://github.com/Z3Prover/z3
