author | wenzelm |
Thu, 20 Aug 2020 16:00:50 +0200 (2020-08-20) | |
changeset 72181 | 6241cbbf5a58 |
parent 72180 | f422efa3cca0 |
child 72182 | 1337904169d7 |
--- a/src/HOL/Tools/Nitpick/kodkod.scala Thu Aug 20 15:45:22 2020 +0200 +++ b/src/HOL/Tools/Nitpick/kodkod.scala Thu Aug 20 16:00:50 2020 +0200 @@ -98,5 +98,7 @@ } def warmup(): String = - execute(File.read(Path.explode("$KODKODI/examples/weber3.kki"))).check + execute( + """solver: "MiniSat\n"""" + + File.read(Path.explode("$KODKODI/examples/weber3.kki"))).check }