equal
deleted
inserted
replaced
35 public option vampire_noncommercial : string = "unknown" |
35 public option vampire_noncommercial : string = "unknown" |
36 -- "status of Vampire activation for noncommercial use (yes, no, unknown)" |
36 -- "status of Vampire activation for noncommercial use (yes, no, unknown)" |
37 |
37 |
38 public option MaSh : string = "sml" |
38 public option MaSh : string = "sml" |
39 -- "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)" |
|
40 |
|
41 public option kodkod_scala : bool = false |
|
42 -- "invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process)" |