Source Package drat-trim

Subpackages

• drat-trim - Proof checker for DIMACS proofs
• drat-trim-devel - Development files for drat-trim
• drat-trim-tools - Command line interface to drat-trim