Download Probabilistic Z3 from Official Microsoft Download Center

A display of the new Surface Pro X.

New Surface Pro X

Ultra-thin and always connected

Person using Power BI Desktop

Power BI

Transform data into actionable insights with dashboards and reports

Probabilistic Z3

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

Probabilistic Z3 is a solver for the bounded reachability problem that uses the symbolic approximation technique described in the following paper: Markus N. Last published: February 10, 2015.