Skip to main content

mobius_number

logicaffeine_proof::solve

Function mobius_number 

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

The Möbius number μ(1, G) of the subgroup lattice of a formula’s variable-symmetry group. None when the subgroup lattice is out of range.