Private version of the Z3 Theorem Prover for use by (and qualified to work with) F* (legacy version).

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