at.logic.gapt.formats.dimacs.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.
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.