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.

Download Details File Name: z3-4.0.msi Version: 4.0.0 Date Published: 8 May 2012 Download Size: 31.10 MB

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