equal
deleted
inserted
replaced
1 #!/usr/bin/env perl |
1 #!/usr/bin/env perl |
2 # |
2 # |
3 # Wrapper for custom remote provers on SystemOnTPTP |
3 # Wrapper for custom remote provers on SystemOnTPTP |
4 # Author: Fabian Immler, TU Muenchen |
4 # Author: Fabian Immler, TU Muenchen |
|
5 # Author: Jasmin Blanchette, TU Muenchen |
5 # |
6 # |
6 |
7 |
7 use warnings; |
8 use warnings; |
8 use strict; |
9 use strict; |
9 use Getopt::Std; |
10 use Getopt::Std; |
26 my %Options; |
27 my %Options; |
27 getopts("hws:t:c:",\%Options); |
28 getopts("hws:t:c:",\%Options); |
28 |
29 |
29 #----Usage |
30 #----Usage |
30 sub usage() { |
31 sub usage() { |
31 print("Usage: remote_atp [<options>] <File name>\n"); |
32 print("Usage: remote_atp [<options>] <file_name>\n"); |
32 print(" <options> are ...\n"); |
33 print("Options:\n"); |
33 print(" -h - print this help\n"); |
34 print(" -h print this help\n"); |
34 print(" -w - list available ATP systems\n"); |
35 print(" -w list available ATPs\n"); |
35 print(" -s<system> - specified system to use\n"); |
36 print(" -s<system> ATP to use\n"); |
36 print(" -t<timelimit> - CPU time limit for system\n"); |
37 print(" -t<time_limit> CPU time limit for ATP\n"); |
37 print(" -c<command> - custom command for system\n"); |
38 print(" -c<command> custom ATP invocation command\n"); |
38 print(" <File name> - TPTP problem file\n"); |
39 print(" <file_name> TPTP problem file\n"); |
39 exit(0); |
40 exit(0); |
40 } |
41 } |
41 if (exists($Options{'h'})) { |
42 if (exists($Options{'h'})) { |
42 usage(); |
43 usage(); |
43 } |
44 } |