rate (cargo): Clausal proof checker (DRAT, DPR) for certifying SAT solvers' unsatisfiability results
Keywords: proof-checker|rust|sat-solver|verification