Module varisat::proof::drat

Functions

drat_step	Prepares a proof step for DRAT writing
write_binary_literals	Writes the literals of a clause for a step in a binary DRAT proof.
write_binary_step	Writes a proof step in binary DRAT format
write_literals	Writes the literals of a clause for a step in a DRAT proof.
write_step	Writes a proof step in DRAT format