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