[−][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 |