| changeset 36898 | 8e55aa1306c5 |
| parent 36897 | 6d1ecdb81ff0 |
| child 36899 | bcd6fce5bf06 |
| 36897:6d1ecdb81ff0 | 36898:8e55aa1306c5 |
|---|---|
1 ISABELLE_SMT="$COMPONENT" |
|
2 |
|
3 RUN_SMT_SOLVER="$ISABELLE_SMT/lib/scripts/run_smt_solver" |
|
4 REMOTE_SMT="$ISABELLE_SMT/lib/scripts/remote_smt" |
|
5 |
|
6 REMOTE_SMT_URL="http://smt.in.tum.de/smt" |
|
7 |
|
8 # |
|
9 # Paths to local SMT solvers: |
|
10 # |
|
11 # CVC_SOLVER=PATH |
|
12 # YICES_SOLVER=PATH |
|
13 # Z3_SOLVER=PATH |
|
14 |