Skip to main content

certify_linear_structure

logicaffeine_proof::ait

Function certify_linear_structure 

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

Certify the GF(2) linear structure of F at any scale via the incremental engine, or None if there is no parity structure to characterize.