minisat
cadical
