source:
CIVL/.sarl_default@
2e8ddd4
| Last change on this file since 2e8ddd4 was 2e8ddd4, checked in by , 12 years ago | |
|---|---|
|
|
| File size: 563 bytes | |
| Rev | Line | |
|---|---|---|
| [480c4ea] | 1 | prover { |
| [2e8ddd4] | 2 | aliases = cvc4; |
| [480c4ea] | 3 | kind = CVC4; |
| 4 | version = "1.4"; | |
| [2e8ddd4] | 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; | |
| [480c4ea] | 20 | } |
| 21 | prover { | |
| [2e8ddd4] | 22 | aliases = cvc3_api; |
| [480c4ea] | 23 | kind = CVC3_API; |
| 24 | version = "UNKNOWN"; | |
| [2e8ddd4] | 25 | path = "libcvc3jni.dylib"; |
| [480c4ea] | 26 | timeout = 20.0; |
| [2e8ddd4] | 27 | showQueries = false; |
| 28 | showInconclusives = false; | |
| 29 | showErrors = true; | |
| [480c4ea] | 30 | } |
Note:
See TracBrowser
for help on using the repository browser.
