Reads, checks and trims LRAT proofs.
Use ./configure && make test to build and test the tool lrat-trim and then use ltra-trim -h
for extended usage information or check out the top of lrat-trim.c.
For more build options see ./configure -h.
See also NEWS.md.