[−][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. |