Skip to main content

two_wl_pair_cells

logicaffeine_proof::solve

Function two_wl_pair_cells 

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

The number of distinct 2-WL pair colors — at most the number of orbitals (pair-cells ≤ orbitals).