External MiniSat tends to crash on Windows
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	makarius
	Nov 1 2021, 8:45 PM

Tags

Subscribers

Description

Isabelle2021-1-RC1 on Windows (virtual Server): minisat.exe crashes when checking theory HOL-Nitpick_Examples.Core_Nits in Isabelle/jEdit.

Related Objects

Mentioned Here: rISABELLEf345da8defff: repackage minisat-2.2.1 with cygwin1.dll: required to run the executable…

Event Timeline

makarius created this task.Nov 1 2021, 8:45 PM

makarius triaged this task as Normal priority.Nov 1 2021, 10:57 PM

See Isabelle/f345da8defff.