rate-proof-utils

Utilities for clausal proofs (DRAT, DPR)