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