[−][src]Module varisat::checker
Proof checker for Varisat proofs.
Structs
| Checker | A checker for unsatisfiability proofs in the native varisat format. |
| CheckerData | Checker data available to proof processors. |
Enums
| CheckedProofStep | A single step of a proof. |
| CheckerError | Possible errors while checking a varisat proof. |
| ProofTranscriptStep | Step of a proof transcript. |
Traits
| ProofProcessor | Implement to process proof steps. |
| ProofTranscriptProcessor | Implement to process transcript steps. |