iz3
Do these formulas have an interpolant?
loading...
'►' shortcut: Alt+B
about iZ3 - Efficient Interpolating Theorem Prover
iZ3 is a high-performance interpolating theorem prover. iZ3 supports arithmetic, arrays, uninterpreted functions, and quantifiers.
rise4fun © 2014 Microsoft Corporation - terms of use - privacy & cookies - code of conduct