Re: [isabelle] SAT solver problem
On 02/06/16 11:36, Omar Jasim wrote:
> 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.
Making kodkod work on x86_64-windows is important in its own right.
But just for immediate use, you can downgrade to the 32-bit Windows
version of Isabelle2016 instead.
The main difference is the JDK, and its maximum heap resources. 32-bit
should be fine for medium-sized applications.
This archive was generated by a fusion of
Pipermail (Mailman edition) and