HomeIsabelle/Phabricator

prefer non-JNI SAT solvers by default in Nitpick