Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nitpick/kodkod_sat.ML
changeset 45079 bdb00fad5687
parent 45077 3cb902212af5
child 45083 014342144091 
--- a/src/HOL/Tools/Nitpick/kodkod_sat.ML	Sun Sep 25 18:43:25 2011 +0200
+++ b/src/HOL/Tools/Nitpick/kodkod_sat.ML	Sun Sep 25 18:43:25 2011 +0200
@@ -40,7 +40,6 @@
    ("zChaff", ExternalV2 (ToStdout, "ZCHAFF_HOME", "zchaff", [],
                           "Instance Satisfiable", "",
                           "Instance Unsatisfiable")),
-   ("zChaff_JNI", Internal (JNI, Batch, ["zChaff"])),
    ("RSat", ExternalV2 (ToStdout, "RSAT_HOME", "rsat", ["-s"],
                         "s SATISFIABLE", "v ", "s UNSATISFIABLE")),
    ("BerkMin", ExternalV2 (ToStdout, "BERKMIN_HOME",
isabelle