C++ Reference: class File
This documentation is automatically generated.
Writes a new clause to the DRAT output. Note that the RAT property is only checked on the first literal.
Writes a "deletion" information about a clause that has been added before to the DRAT output. Note that it is also possible to delete a clause from the problem.