Module proof 

Proof Result, Resolution Step, Strategy, and Statistics

This module defines the supporting types used by the resolution prover: the outcome of a proof attempt, a single resolution step in a derivation, the available proof strategies, and the statistics gathered during proof search.

Structs

ProverStats

Statistics for resolution proof search.

ResolutionStep

A single resolution step in a proof.

Enums

ProofResult

Result of a resolution proof attempt.

ResolutionStrategy

Resolution proof strategy.