The Z3 Theorem Prover.
