Page MenuHomeIsabelle/Phabricator

Missing minisat.dll for nitpick/kodkod on Windows
Open, NormalPublic

Description

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:

  1. fool nitpick again by including a dummy minisat.dll (empty file)
  2. find minisat.dll for x86_64-windows and include it in the kodkodi component
  3. change the check by nitpick to be more tolerant, e.g. warning instead of error

Event Timeline

makarius reopened this task as Open.
makarius claimed this task.
makarius triaged this task as Normal priority.
makarius created this task.

I have scavenged the Net twice for a 64bit minsat.dll, but failed so far.