z3/examples/python at e5dffeace4b04b757aaa5f78e4e749034029fef0 - z3

ada/z3

mirror of https://github.com/AdaCore/z3.git synced 2026-02-12 12:40:40 -08:00

Files

Nikolaj Bjorner e5dffeace4 fix #2365

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

2019-06-30 08:40:41 +03:00

complex

fix #2365

2019-06-30 08:40:41 +03:00

data

Add few more testcases

2018-12-28 13:28:15 -05:00

hamiltonian

Adjusted copyright notice.

2015-10-02 19:51:06 +01:00

mus

Fix Python API examples so they work with Python 3 as well as Python 2.

2017-06-26 11:31:08 +01:00

tutorial

set kernel to 3

2019-06-11 10:41:51 -07:00

all_interval_series.py

fix removal bug, tune all-interval usage

2018-05-09 16:32:38 +01:00

CMakeLists.txt

Change from BINARY_DIR to PROJECT_BINARY_DIR

2019-05-15 11:25:40 -07:00

example.py

PYTHON_PATH should say PYTHONPATH.

2019-01-18 16:18:16 -08:00

mini_ic3.py

Implement mini_quip

2019-01-04 18:30:02 -05:00

mini_quip.py

Implement mini_quip

2019-01-04 18:30:02 -05:00

parallel.py

Add comments

2018-05-19 11:16:20 +02:00

rc2.py

fix #1841

2018-11-22 15:28:33 -08:00

README

python example

2012-10-28 12:19:45 -07:00

socrates.py

Update socrates.py

2016-09-14 21:36:39 +02:00

trafficjam.py

fix traffic jam

2019-06-10 17:45:55 -07:00

union_sort.py

fix justification for implied equalities in special relations

2019-04-03 17:08:10 -07:00

visitor.py

Fix Python API examples so they work with Python 3 as well as Python 2.

2017-06-26 11:31:08 +01:00

README

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.