1.23
2.0
acw/focus-triggers
main
test-branch
| Line | |
|---|
| 1 | prover {
|
|---|
| 2 | aliases = cvc4;
|
|---|
| 3 | kind = CVC4;
|
|---|
| 4 | version = "1.4";
|
|---|
| 5 | path = "/opt/local/bin/cvc4";
|
|---|
| 6 | timeout = 20.0;
|
|---|
| 7 | showQueries = false;
|
|---|
| 8 | showInconclusives = false;
|
|---|
| 9 | showErrors = true;
|
|---|
| 10 | }
|
|---|
| 11 | prover {
|
|---|
| 12 | aliases = cvc3;
|
|---|
| 13 | kind = CVC3;
|
|---|
| 14 | version = "2.4.1";
|
|---|
| 15 | path = "/usr/bin/cvc3";
|
|---|
| 16 | timeout = 20.0;
|
|---|
| 17 | showQueries = false;
|
|---|
| 18 | showInconclusives = false;
|
|---|
| 19 | showErrors = true;
|
|---|
| 20 | }
|
|---|
| 21 | prover {
|
|---|
| 22 | aliases = cvc3_api;
|
|---|
| 23 | kind = CVC3_API;
|
|---|
| 24 | version = "UNKNOWN";
|
|---|
| 25 | path = "libcvc3jni.dylib";
|
|---|
| 26 | timeout = 20.0;
|
|---|
| 27 | showQueries = false;
|
|---|
| 28 | showInconclusives = false;
|
|---|
| 29 | showErrors = true;
|
|---|
| 30 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
