40 "s SATISFIABLE", "v ", "s UNSATISFIABLE")), |
40 "s SATISFIABLE", "v ", "s UNSATISFIABLE")), |
41 ("BerkMin", ExternalV2 (ToStdout, "BERKMIN_HOME", |
41 ("BerkMin", ExternalV2 (ToStdout, "BERKMIN_HOME", |
42 if berkmin_exec = "" then "BerkMin561" |
42 if berkmin_exec = "" then "BerkMin561" |
43 else berkmin_exec, [], "Satisfiable !!", |
43 else berkmin_exec, [], "Satisfiable !!", |
44 "solution =", "UNSATISFIABLE !!")), |
44 "solution =", "UNSATISFIABLE !!")), |
45 ("BerkMinAlloy", External (ToStdout, "BERKMINALLOY_HOME", "berkmin", [])), |
45 ("BerkMin_Alloy", External (ToStdout, "BERKMINALLOY_HOME", "berkmin", [])), |
46 ("Jerusat", External (ToStdout, "JERUSAT_HOME", "Jerusat1.3", [])), |
46 ("Jerusat", External (ToStdout, "JERUSAT_HOME", "Jerusat1.3", [])), |
47 ("MiniSatJNI", Internal (JNI, Incremental, ["MiniSat"])), |
47 ("MiniSat_JNI", Internal (JNI, Incremental, ["MiniSat"])), |
48 ("zChaffJNI", Internal (JNI, Batch, ["zChaff"])), |
48 ("zChaff_JNI", Internal (JNI, Batch, ["zChaff"])), |
49 ("SAT4J", Internal (Java, Incremental, ["DefaultSAT4J"])), |
49 ("SAT4J", Internal (Java, Incremental, ["DefaultSAT4J"])), |
50 ("SAT4JLight", Internal (Java, Incremental, ["LightSAT4J"])), |
50 ("SAT4J_Light", Internal (Java, Incremental, ["LightSAT4J"])), |
51 ("HaifaSat", ExternalV2 (ToStdout, "HAIFASAT_HOME", "HaifaSat", ["-p", "1"], |
51 ("HaifaSat", ExternalV2 (ToStdout, "HAIFASAT_HOME", "HaifaSat", ["-p", "1"], |
52 "s SATISFIABLE", "v ", "s UNSATISFIABLE"))] |
52 "s SATISFIABLE", "v ", "s UNSATISFIABLE"))] |
53 |
53 |
54 (* bool -> string -> sink -> string -> string -> string list -> string list |
54 (* bool -> string -> sink -> string -> string -> string list -> string list |
55 -> (string * (unit -> string list)) option *) |
55 -> (string * (unit -> string list)) option *) |