List of all items

Structs

• binary_format::Parser

Enums

• DeleteClauseProof
• ProofStep

Functions

• binary_format::read_hashes
• binary_format::read_literals
• binary_format::read_unit_clauses
• binary_format::write_hashes
• binary_format::write_literals
• binary_format::write_step
• binary_format::write_unit_clauses
• clause_hash
• lit_code_hash
• lit_hash
• vli_enc::read_u64
• vli_enc::read_u64_fast
• vli_enc::write_u64

Typedefs

• ClauseHash

Constants

• binary_format::CODE_ADD_CLAUSE
• binary_format::CODE_ASSUMPTIONS
• binary_format::CODE_AT_CLAUSE_IRRED
• binary_format::CODE_AT_CLAUSE_RED
• binary_format::CODE_CHANGE_HASH_BITS
• binary_format::CODE_CHANGE_SAMPLING_MODE_SAMPLE
• binary_format::CODE_CHANGE_SAMPLING_MODE_WITNESS
• binary_format::CODE_DELETE_CLAUSE_REDUNDANT
• binary_format::CODE_DELETE_CLAUSE_SATISFIED
• binary_format::CODE_DELETE_CLAUSE_SIMPLIFIED
• binary_format::CODE_DELETE_VAR
• binary_format::CODE_END
• binary_format::CODE_FAILED_ASSUMPTIONS
• binary_format::CODE_MODEL
• binary_format::CODE_SOLVER_VAR_NAME_REMOVE
• binary_format::CODE_SOLVER_VAR_NAME_UPDATE
• binary_format::CODE_UNIT_CLAUSES
• binary_format::CODE_USER_VAR_NAME_REMOVE
• binary_format::CODE_USER_VAR_NAME_UPDATE