Skip to main content

refutes_ordering_principle

logicaffeine_proof::ordering

Function refutes_ordering_principle 

Source 
pub fn refutes_ordering_principle(e: &ProofExpr) -> bool
Expand description

The ordering cut over a ProofExpr: clausify and run the specialist. This is the entry the cascade (crate::sat::prove_unsat) calls.