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.