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.0.msi Version: 2.0 Date Published: 18 June 2009 Download Size: 18.80 MB

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