Z3 Theorem Prover
| Z3 Theorem Prover | |
|---|---|
| Original author(s) | Microsoft Research |
| Developer(s) | Microsoft |
| Initial release | 2012 |
| Stable release | 4.15.1
/ 10 June 2025 |
| Repository | |
| 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 |
Z3, also known as the Z3 Theorem Prover, is a satisfiability modulo theories (SMT) solver developed by Microsoft.