HOL

• Nitpick: External solver "MiniSat" is available for all supported Isabelle platforms (including Windows and ARM); while "MiniSat_JNI" only works for Intel Linux and macOS.

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