Share this page
Share this page E-mail this page Print this page RSS feeds
Home
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.

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.