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.
- Projects
- None
- Subscribers
- None