mirror of
https://github.com/Z3Prover/z3
synced 2025-04-04 16:44:07 +00:00
python example
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
parent
483942c1a5
commit
f040db94f8
4
examples/python/README
Normal file
4
examples/python/README
Normal file
|
@ -0,0 +1,4 @@
|
|||
The example is copied to the build directory during configuration.
|
||||
You can execute it using
|
||||
python example.py
|
||||
in the build directory after you build Z3.
|
Loading…
Reference in a new issue