Download Z3 Solver from Official Microsoft Download Center

A Surface Pro

Surface Pro

The most versatile laptop

Z3 Solver

Z3 is an SMT solver that combines several theory solvers into a combined framework. Last published: August 9, 2012.