Download Z3 Solver from Official Microsoft Download Center

Hands type on a Surface Pro 6 with Type Cover

Surface Pro 6

Stand out from the ordinary

Person using Power BI Desktop

Power BI

Transform data into actionable insights with dashboards and reports

Z3 Solver

Important! Selecting a language below will dynamically change the complete page content to that language.

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