Legacy F*-qualified release of the Z3 Theorem Prover
