z3py
Explore the Z3 API using Python
loading...
'►' shortcut: Alt+B
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.
rise4fun © 2014 Microsoft Corporation - terms of use - privacy & cookies - code of conduct