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

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