Z3 Theorem Prover

Z3 Theorem Prover
Original authorMicrosoft Research
DeveloperMicrosoft
Initial release2012 (2012)
Stable release
4.15.4  / 29 October 2025 (29 October 2025)
Written inC++
Operating systemWindows, FreeBSD, Linux (Debian, Ubuntu), macOS
PlatformIA-32, x86-64, WebAssembly, arm64
TypeTheorem prover
LicenseMIT License
Websitegithub.com/Z3Prover
Repository

Z3, also known as the Z3 Theorem Prover, is a satisfiability modulo theories (SMT) solver developed by Microsoft.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.