Original author(s) | Microsoft Research |
---|---|
Developer(s) | Microsoft |
Initial release | 2012 |
Stable release | 4.13.3[1]
/ 11 October 2024 |
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.[2]