Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Z3 Solver

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.


File Namez3-4.1.msi
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.