[−][src]Module varisat_internal_proof::binary_format
Binary format for varisat proofs.
Structs
Parser |
Functions
write_step | Writes a proof step in the varisat format |
Binary format for varisat proofs.
Parser |
write_step | Writes a proof step in the varisat format |