drat-trim-examples - 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 some example data files for DART-trim.