[−][src]Crate varisat_internal_proof
Internal proof format for the Varisat SAT solver.
Modules
binary_format | Binary format for varisat proofs. |
Enums
DeleteClauseProof | Justifications for a simple clause deletion. |
ProofStep | A single proof step. |
Functions
clause_hash | A fast hash function for clauses (or other sets of literals). |
lit_code_hash | Hash a single literal from a code. |
lit_hash | Hash a single literal. |
Type Definitions
ClauseHash |