Z3 Theorem Prover

Z3 Theorem Prover
Original author(s)	Microsoft Research
Developer(s)	Microsoft
Initial release	2012
Stable release	4.12.4 / 6 December 2023
Repository	github.com/Z3Prover/z3 ;
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.com/Z3Prover

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 licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.