z3-solver-crosshair (pypi): A fork of the Z3 SMT solver library for use in CrossHair.
Keywords: z3|smt|sat|prover|theorem