rate

Clausal proof checker (DRAT, DPR) for certifying SAT solvers' unsatisfiability results