In the past there used to be a 32bit Windows DLL for nitpick/kodkod, but it was dysfunctional on current 64bit Windows and merely fooled nitpick in accepting it as installed solver. After https://isabelle.sketis.net/repos/kodkodi/rev/bc0a1d7d254b this causes an explicit error, e.g. in Isabelle/8162ca81ea8a:
The SAT solver "MiniSat_JNI" is not configured. The following solvers are configured: "SAT4J", "SAT4J_Light" At command "nitpick" (line 1264 of "~~/src/HOL/Nitpick_Examples/Refute_Nits.thy")
There are the following possibilities to resolve this:
- fool nitpick again by including a dummy minisat.dll (empty file)
- find minisat.dll for x86_64-windows and include it in the kodkodi component
- change the check by nitpick to be more tolerant, e.g. warning instead of error