This site uses cookies for analytics, personalized content and ads. By continuing to browse this site, you agree to this use.
Learn more
iz3
by Microsoft
Do these formulas have an interpolant?
loading...
home
tutorial
video
permalink
'►' shortcut: Alt+B
samples
even_odd
simple
quantifier
sequence
incremental
tree
two_store
equality
about iZ3 - Efficient Interpolating Theorem Prover
iZ3 is a high-performance interpolating theorem prover. iZ3 supports arithmetic, arrays, uninterpreted functions, and quantifiers.
tools
developer
about
Contact Us
|
Privacy & Cookies
|
Terms of Use
|
Trademarks
| © 2019 Microsoft