Download

• Latest version: Z3 3.2. See also the Release Notes.

• Download: Older Versions

Other platforms

We only provide full support for Windows. We also have a Linux binary for the SMT competition. The latest version of this can be downloaded here: 32-bit, 64-bit. Z3 for OSX is available here.