Sponsor:

Your company here — click to reach over 10,000 unique daily visitors

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