Sponsor:

Your company here, and a link to your site. Click to find out more.

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