Z3Prover/z3

z3 - The Z3 Theorem Prover