Skip to main content

equivalent_literal_scc

logicaffeine_proof::inprocess

Function equivalent_literal_scc 

Source 
pub fn equivalent_literal_scc(
    num_vars: usize,
    clauses: &[Vec<Lit>],
) -> EquivResult