Download Probabilistic Z3 from Official Microsoft Download Center

The Surface family of devices

Surface devices

Anything but ordinary

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.