Function generating_tuple_count 

pub fn generating_tuple_count(
    num_vars: usize,
    clauses: &[Vec<Lit>],
    k: u32,
) -> Option<i128>

The number of ordered k-tuples of symmetries that generate the whole variable-symmetry group G (Hall’s Eulerian function e_k(G)); e_k(G)/|G|^k is the probability k random symmetries generate it. None when out of range.