1.23
2.0
acw/focus-triggers
main
test-branch
| Line | |
|---|
| 1 | # This is a SARL configuration file. It specifies information
|
|---|
| 2 | # about each automated theorem prover available to SARL.
|
|---|
| 3 |
|
|---|
| 4 | # SARL will look first in the current working directory
|
|---|
| 5 | # for a file named .sarl. If it doesn't find that,
|
|---|
| 6 | # it will look in the same directory for .sarl_default.
|
|---|
| 7 | # If it doesn't find that, it will look in the user's
|
|---|
| 8 | # home directory for .sarl, then in the user's home
|
|---|
| 9 | # directory for sarl_default.
|
|---|
| 10 |
|
|---|
| 11 | prover {
|
|---|
| 12 | alias = cvc4, cvc4x;
|
|---|
| 13 | kind = CVC4;
|
|---|
| 14 | path = "/opt/local/bin/cvc4";
|
|---|
| 15 | options = "--rewrite-divk";
|
|---|
| 16 | version = "1.4";
|
|---|
| 17 | showQueries = true; # print every query
|
|---|
| 18 | timeout = 20.0; # 20 seconds
|
|---|
| 19 | }
|
|---|
| 20 |
|
|---|
| 21 | prover {
|
|---|
| 22 | alias = cvc3;
|
|---|
| 23 | kind = CVC3_API;
|
|---|
| 24 | version = "UNKNOWN";
|
|---|
| 25 | showQueries = true;
|
|---|
| 26 | timeout = 20.0;
|
|---|
| 27 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
