equal
deleted
inserted
replaced
30 -- "provers for Sledgehammer (separated by blanks)" |
30 -- "provers for Sledgehammer (separated by blanks)" |
31 |
31 |
32 public option sledgehammer_timeout : int = 30 |
32 public option sledgehammer_timeout : int = 30 |
33 -- "provers will be interrupted after this time (in seconds)" |
33 -- "provers will be interrupted after this time (in seconds)" |
34 |
34 |
35 public option vampire_noncommercial : string = "unknown" |
|
36 -- "status of Vampire activation for noncommercial use (yes, no, unknown)" |
|
37 |
|
38 public option SystemOnTPTP : string = "http://www.tptp.org/cgi-bin/SystemOnTPTPFormReply" |
35 public option SystemOnTPTP : string = "http://www.tptp.org/cgi-bin/SystemOnTPTPFormReply" |
39 -- "URL for SystemOnTPTP service" |
36 -- "URL for SystemOnTPTP service" |
40 |
37 |
41 public option MaSh : string = "sml" |
38 public option MaSh : string = "sml" |
42 -- "machine learning algorithm to use by Sledgehammer (nb_knn, nb, knn, none)" |
39 -- "machine learning algorithm to use by Sledgehammer (nb_knn, nb, knn, none)" |