[−][src]Module varisat_internal_proof::binary_format
Binary format for varisat proofs.
Structs
| Parser |
Constants
Functions
| read_hashes | Read a slice of clause hashes from a varisat proof |
| read_literals | Read a slice of literals from a varisat proof |
| read_unit_clauses | Read a slice of unit clauses from a varisat proof |
| write_hashes | Writes a slice of clause hashes for a varisat proof |
| write_literals | Writes a slice of literals for a varisat proof |
| write_step | Writes a proof step in the varisat format |
| write_unit_clauses | Writes a slice of unit clauses for a varisat proof |