HomeIsabelle/Phabricator
Nitpick with external/portable MiniSat

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.

Written by makarius on Fri, Oct 8, 11:25 AM.
User
Projects
None
Subscribers
None

Event Timeline