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 highperformance interpolating theorem prover. iZ3 supports arithmetic, arrays, uninterpreted functions, and quantifiers.
tools
developer
about
rise4fun © 2016 Microsoft Corporation 
terms of use

privacy & cookies

code of conduct