Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Nitpick with external/portable MiniSat

view this post on Zulip Email Gateway (Oct 08 2021 at 09:29):

From: Makarius <>
* HOL *

This refers to Isabelle/74a36aae067a and Isabelle/2d089ff0e03b; there is also
an administrative tool isabelle build_minisat.

This solves the longstanding problem to support 64bit Windows. Moreover,
arm64-linux now works as promised for the Isabelle2021-1 release.

One open question: Should Nitpick use "MiniSat" instead of "MiniSat_JNI" by
default (especially in HOL-Nitpick_Examples)?


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC