source: CIVL/.sarl_default@ de8de48

1.23 2.0 acw/focus-triggers main test-branch
Last change on this file since de8de48 was bb733f2, checked in by Stephen Siegel <siegel@…>, 12 years ago

Updating instructions, User Manual

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@1778 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 370 bytes
Line 
1
2prover {
3 aliases = cvc4;
4 kind = CVC4;
5 version = "1.4";
6 path = "/opt/local/bin/cvc4";
7 timeout = 20.0;
8 showQueries = false;
9 showInconclusives = false;
10 showErrors = true;
11}
12
13prover {
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;
22}
Note: See TracBrowser for help on using the repository browser.