GitHub repository: marijnheule/drat-trim
Primary language: C
Created: 2016-10-18T15:17:34Z
Description: The DRAT-trim proof checker