[isabelle] SAT solver problem

Dear list,

I have problem with using nitpick even for trivial lemma such as:  lemma "P
â Q ".
in the output panel, I've got this kodkod warning:
Kodkod warning: cannot launch SAT solver, falling back on "DefaultSAT4J"

I'm using Isabelle 2016 64-bit windows version. Any suggestion?


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.