Skip to main content

linear_shortcut_verdict

logicaffeine_proof::ait

Function linear_shortcut_verdict 

Source 
pub fn linear_shortcut_verdict(
    num_vars: usize,
    clauses: &[Vec<Lit>],
) -> LinearShortcut
Expand description

Decide the linear-shortcut verdict for F (fail-closed via certify_linear_structure).