Download Probabilistic Z3 from Official Microsoft Download Center

A Surface Pro, a Surface Pen, a Surface Arc Mouse

Surface Pro

Ultra-light and versatile

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.