at.logic.gapt.formats.dimacs
Inference in a DRUP proof in DIMACS encoding.
This is the same proof system as in DrupProof, except that we store the atoms in DIMACS encoding here.