drat-trim - 0.0~git20240428.effa1dc-2 main

DRAT-trim is a satisfiability proof checking and trimming utility
designed to validate proofs for all known satisfiability solving
and preprocessing techniques. DRAT-trim can also emit trimmed
formulas, optimized proofs, and TraceCheck+ dependency graphs.
.
This package contains binaries needed to use DART-trim as a
stand-alone tool.