Z3 Theorem Prover
| Z3 Theorem Prover | |
|---|---|
 | |
| Original author | Microsoft Research |
| Developer | Microsoft |
| Release | 2012 |
| Stable release | 5.1.0 
/ 16 August 2026 |
| Written in | C++ |
| Operating system | Windows, FreeBSD, Linux (Debian, Ubuntu), macOS |
| Platform | IA-32, x86-64, WebAssembly, arm64 |
| Type | Theorem prover |
| License | MIT License |
| Website | github |
| Repository | |
Z3, also known as the Z3 Theorem Prover, is a satisfiability modulo theories (SMT) solver developed by Microsoft.