mirror of
https://github.com/Z3Prover/z3
synced 2025-04-03 16:19:57 +00:00
.. | ||
bounded model checking | ||
complex | ||
data | ||
hamiltonian | ||
mus | ||
tutorial | ||
all_interval_series.py | ||
bincover.py | ||
CMakeLists.txt | ||
efsmt.py | ||
example.py | ||
hs.py | ||
mini_ic3.py | ||
mini_quip.py | ||
parallel.py | ||
prooflogs.py | ||
proofreplay.py | ||
rc2.py | ||
README | ||
simplify_formula.py | ||
socrates.py | ||
trafficjam.py | ||
union_sort.py | ||
visitor.py |
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.