source:
CIVL/.sarl_default@
de8de48
| Last change on this file since de8de48 was bb733f2, checked in by , 12 years ago | |
|---|---|
|
|
| File size: 370 bytes | |
| Rev | Line | |
|---|---|---|
| [bb733f2] | 1 | |
| [480c4ea] | 2 | prover { |
| [2e8ddd4] | 3 | aliases = cvc4; |
| [480c4ea] | 4 | kind = CVC4; |
| 5 | version = "1.4"; | |
| [2e8ddd4] | 6 | path = "/opt/local/bin/cvc4"; |
| 7 | timeout = 20.0; | |
| 8 | showQueries = false; | |
| 9 | showInconclusives = false; | |
| 10 | showErrors = true; | |
| 11 | } | |
| [bb733f2] | 12 | |
| [2e8ddd4] | 13 | prover { |
| 14 | aliases = cvc3; | |
| 15 | kind = CVC3; | |
| 16 | version = "2.4.1"; | |
| 17 | path = "/usr/bin/cvc3"; | |
| 18 | timeout = 20.0; | |
| 19 | showQueries = false; | |
| 20 | showInconclusives = false; | |
| 21 | showErrors = true; | |
| [480c4ea] | 22 | } |
Note:
See TracBrowser
for help on using the repository browser.
