# HG changeset patch
# User blanchet
# Date 1273868919 -7200
# Node ID 538cf3fdfe4de103cfa543f682894efec2729689
# Parent  12f87df9c1a5f660e98ca57a402902b436355bfd
remove support for crashing beta solver HaifaSat

diff -r 12f87df9c1a5 -r 538cf3fdfe4d src/HOL/Tools/Nitpick/kodkod_sat.ML
--- a/src/HOL/Tools/Nitpick/kodkod_sat.ML	Fri May 14 16:15:10 2010 +0200
+++ b/src/HOL/Tools/Nitpick/kodkod_sat.ML	Fri May 14 22:28:39 2010 +0200
@@ -47,9 +47,7 @@
    ("MiniSat_JNI", Internal (JNI, Incremental, ["MiniSat"])),
    ("zChaff_JNI", Internal (JNI, Batch, ["zChaff"])),
    ("SAT4J", Internal (Java, Incremental, ["DefaultSAT4J"])),
-   ("SAT4J_Light", Internal (Java, Incremental, ["LightSAT4J"])),
-   ("HaifaSat", ExternalV2 (ToStdout, "HAIFASAT_HOME", "HaifaSat", ["-p", "1"],
-                            "s SATISFIABLE", "v ", "s UNSATISFIABLE"))]
+   ("SAT4J_Light", Internal (Java, Incremental, ["LightSAT4J"]))]
 
 fun dynamic_entry_for_external name dev home exec args markers =
   case getenv home of