marijnheule/drat-trim Issues
ASCII output despite -C
UpdatedInvalid read of memory
Closed 1No build pipeline
Closed 1No testing at all
Closed 1A small issue
Closed 3drat_trim.c int overflow
Closed 1How to convert DRAT/DRUP to LRAT?
Updated 8handle compressed files?
UpdatedC++ API
Updateddigesting output
Closed 1