Skip to main content

canon

logicaffeine_proof::cofactor

Function canon 

Source 
pub fn canon(clauses: &[Vec<Lit>]) -> CanonClauses
Expand description

Canonicalize a CNF given as packed Lits.