[−][src]Crate varisat_checker
Proof checker for Varisat proofs.
Modules
| internal | Varisat internal interface used for on-the-fly checking. |
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. |