Z3 Theorem Prover

Z3 Theorem Prover
Original author(s)Microsoft Research
Developer(s)Microsoft
Initial release2012; 12 years ago (2012)
Stable release
4.13.0[1] Edit this on Wikidata / 7 March 2024; 6 months ago (7 March 2024)
Repository
Written inC++
Operating systemWindows, FreeBSD, Linux (Debian, Ubuntu), macOS
PlatformIA-32, x86-64, WebAssembly, arm64
TypeTheorem prover
LicenseMIT License
Websitegithub.com/Z3Prover

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

  1. ^ "Release 4.13.0". 7 March 2024. Retrieved 26 March 2024.
  2. ^ "Using the SMT solver Z3" (PDF). Archived from the original (PDF) on 2020-11-17. Retrieved 2019-12-01.