Phame Blogs Isabelle NEWS J50
Nitpick with external/portable MiniSat
- 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 Oct 8 2021, 11:25 AM.