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.


	Makarius





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