Ersatz.Solver.Minisat
minisat
cryptominisat
minisatPath