Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Z3

Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems.

Details

TypeDownload
File Namez3-4.1.msi
Version4.1.0
Date Published9 August 2012
Download Size31.34 MB

Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.