98 ("presburger", ((false, true), no_attrs)), |
98 ("presburger", ((false, true), no_attrs)), |
99 ("algebra", ((false, true), no_attrs)), |
99 ("algebra", ((false, true), no_attrs)), |
100 ("fast", ((false, false), clas_attrs)), |
100 ("fast", ((false, false), clas_attrs)), |
101 ("fastforce", ((false, false), full_attrs)), |
101 ("fastforce", ((false, false), full_attrs)), |
102 ("force", ((false, false), full_attrs)), |
102 ("force", ((false, false), full_attrs)), |
103 ("meson", ((false, false), metis_attrs))] |
103 ("meson", ((false, false), metis_attrs)), |
|
104 ("satx", ((false, false), no_attrs))]; |
104 |
105 |
105 val apply_methods = map apply_named_method named_methods; |
106 val apply_methods = map apply_named_method named_methods; |
106 |
107 |
107 fun time_string ms = string_of_int ms ^ " ms"; |
108 fun time_string ms = string_of_int ms ^ " ms"; |
108 fun tool_time_string (s, ms) = s ^ ": " ^ time_string ms; |
109 fun tool_time_string (s, ms) = s ^ ": " ^ time_string ms; |