Skip to main content

canon_raw

logicaffeine_proof::cofactor

Function canon_raw 

Source 
pub fn canon_raw(clauses: &[Vec<(u32, bool)>]) -> CanonClauses
Expand description

Canonicalize a CNF given in raw (var, polarity) form.