z3
Is this formula satisfiable?
loading...
'►' shortcut: Alt+B
about Z3 - Efficient Theorem Prover
Z3 is a high-performance theorem prover. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers.
Contact Us| Privacy & Cookies | Terms of Use | Trademarks| © 2017 Microsoft