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/Nitpick_Examples/Integer_Nits.thy
changeset 74641 6f801e1073fa
parent 63167 0909deb8059b 
--- a/src/HOL/Nitpick_Examples/Integer_Nits.thy	Sat Oct 30 19:23:01 2021 +0200
+++ b/src/HOL/Nitpick_Examples/Integer_Nits.thy	Sat Oct 30 19:41:09 2021 +0200
@@ -12,7 +12,7 @@
 begin
 
 nitpick_params [verbose, card = 1-5, bits = 1,2,3,4,6,
-                sat_solver = MiniSat_JNI, max_threads = 1, timeout = 240]
+                sat_solver = MiniSat, max_threads = 1, timeout = 240]
 
 lemma "Suc x = x + 1"
 nitpick [unary_ints, expect = none]
isabelle