LratCheck
Check a DIMACS formula and a textual or binary LRAT/DRAT proof locally.
DIMACS CNF
p cnf 1 2 1 0 -1 0
Format
drat
drat-binary
lrat
lrat-binary
Proof text
0
Or load a proof file
Verify