This is the API documentation for GAPT.
The main package is gapt.
gapt.proofs
Resolution proofs in DIMACS format.
Reverse unit propagation proof.
This is the API documentation for GAPT.
The main package is gapt.