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-2.3.msi Version: 2.3 Date Published: 12 November 2009 Download Size: 19.94 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.