Checks DRUP & DRAT proofs against DIMACS source. Extracted from verified Why3 code.
Home Page:https://pypi.org/project/drup
Repository from Github https://github.comcmu-transparency/verified_rupRepository from Github https://github.comcmu-transparency/verified_rup