An LPR checker built on CakeML
array: Improving the LRAT checker with arrays (manually)
lprScript.sml: Basic specification of an LPR checker (minimal optimization)
lpr_parsingScript.sml: Parsing interface for DIMACS and LPR
packingScript.sml: Packing chromatic number
ramseyScript.sml: Defining the Ramsey number and SAT encoding
satSemScript.sml: Semantics of CNFs and general clausal proofs