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 <makarius@sketis.net>
* 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)?

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Jul 15 2022 at 23:21 UTC