z3py
by Microsoft
Explore the Z3 API using Python
loading...
home
tutorial
permalink
'►' shortcut: Alt+B
samples
solve
simple
strategy
nonlinear
geometry
about Z3Py - Python interface for the Z3 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
rise4fun © 2013 Microsoft Corporation -
terms of use
-
privacy & cookies
-
code of conduct