z3
by Microsoft
Is this formula satisfiable?
loading...
home
tutorial
video
permalink
'►' shortcut: Alt+B
samples
smtc_arith
doc_examples
smtc_core
smtc_datatypes
strategy
smtc_arrays
smtc_bv
bit-count
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.
tools
developer
about
Contact Us
|
Privacy & Cookies
|
Terms of Use
|
Trademarks
| © 2021 Microsoft