src/HOL/Matrix/ROOT.ML

put MiniSat back first -- Torlak's eval seemed to suggest that Crypto and Lingeling were better, but Crypto is slower on "Nitpick_Examples" and Crypto crashes

use_thy "Cplex";