iz3
by Microsoft
Do these formulas have an interpolant?
loading...
 home tutorial video
'►' 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.
Contact Us| Privacy & Cookies | Terms of Use | Trademarks| © 2021 Microsoft