equal
deleted
inserted
replaced
81 |
81 |
82 ML {* reset sat.trace_sat; *} |
82 ML {* reset sat.trace_sat; *} |
83 ML {* reset quick_and_dirty; *} |
83 ML {* reset quick_and_dirty; *} |
84 |
84 |
85 method_setup rawsat = |
85 method_setup rawsat = |
86 {* Method.no_args (SIMPLE_METHOD' sat.rawsat_tac) *} |
86 {* Scan.succeed (K (SIMPLE_METHOD' sat.rawsat_tac)) *} |
87 "SAT solver (no preprocessing)" |
87 "SAT solver (no preprocessing)" |
88 |
88 |
89 (* ML {* Toplevel.profiling := 1; *} *) |
89 (* ML {* Toplevel.profiling := 1; *} *) |
90 |
90 |
91 (* Translated from TPTP problem library: PUZ015-2.006.dimacs *) |
91 (* Translated from TPTP problem library: PUZ015-2.006.dimacs *) |