Candidates for minisat-solver