1.1 --- a/src/HOL/Tools/Nitpick/kodkod_sat.ML	Tue Feb 09 16:05:49 2010 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/kodkod_sat.ML	Tue Feb 09 16:07:51 2010 +0100
     1.3 @@ -42,12 +42,12 @@
     1.4                             if berkmin_exec = "" then "BerkMin561"
     1.5                             else berkmin_exec, [], "Satisfiable          !!",
     1.6                             "solution =", "UNSATISFIABLE          !!")),
     1.7 -   ("BerkMinAlloy", External (ToStdout, "BERKMINALLOY_HOME", "berkmin", [])),
     1.8 +   ("BerkMin_Alloy", External (ToStdout, "BERKMINALLOY_HOME", "berkmin", [])),
     1.9     ("Jerusat", External (ToStdout, "JERUSAT_HOME", "Jerusat1.3", [])),
    1.10 -   ("MiniSatJNI", Internal (JNI, Incremental, ["MiniSat"])),
    1.11 -   ("zChaffJNI", Internal (JNI, Batch, ["zChaff"])),
    1.12 +   ("MiniSat_JNI", Internal (JNI, Incremental, ["MiniSat"])),
    1.13 +   ("zChaff_JNI", Internal (JNI, Batch, ["zChaff"])),
    1.14     ("SAT4J", Internal (Java, Incremental, ["DefaultSAT4J"])),
    1.15 -   ("SAT4JLight", Internal (Java, Incremental, ["LightSAT4J"])),
    1.16 +   ("SAT4J_Light", Internal (Java, Incremental, ["LightSAT4J"])),
    1.17     ("HaifaSat", ExternalV2 (ToStdout, "HAIFASAT_HOME", "HaifaSat", ["-p", "1"],
    1.18                              "s SATISFIABLE", "v ", "s UNSATISFIABLE"))]
    1.19