rate-proof-utils (cargo): Utilities for clausal proofs (DRAT, DPR)
Keywords: proof-checker|rust|sat-solver|verification