High performance SMT solver from Microsoft Research.

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