pub fn coherent_rank(num_vars: usize, clauses: &[Vec<Lit>]) -> Option<usize>Expand description
The rank of the coherent configuration — the number of basis relations (d), the dimension of the
coherent algebra. Equal to two_wl_pair_cells; for a group’s orbital configuration it is the orbital
rank. None when the configuration is out of range / not coherent.