Package drat-trim-tools

Command line interface to drat-trim

https://github.com/marijnheule/drat-trim

This package contains a command line interface to drat-trim.

General Commands

drat-trim Proof checker for DIMACS proofs