src/HOL/Mutabelle/MutabelleExtra.thy
changeset 56850 13a7bca533a3
parent 56147 9589605bcf41
child 63167 0909deb8059b
     1.1 --- a/src/HOL/Mutabelle/MutabelleExtra.thy	Sun May 04 18:50:42 2014 +0200
     1.2 +++ b/src/HOL/Mutabelle/MutabelleExtra.thy	Sun May 04 18:53:58 2014 +0200
     1.3 @@ -23,7 +23,7 @@
     1.4  quickcheck_params [quiet, finite_types = false, report = false, size = 5, iterations = 1000]
     1.5  
     1.6  (*
     1.7 -nitpick_params [timeout = 5, sat_solver = MiniSat, no_overlord, verbose, card = 1-5, iter = 1,2,4,8,12]
     1.8 +nitpick_params [timeout = 5, sat_solver = MiniSat_JNI, no_overlord, verbose, card = 1-5, iter = 1,2,4,8,12]
     1.9  refute_params [maxtime = 10, minsize = 1, maxsize = 5, satsolver = jerusat]
    1.10  *)
    1.11