pub fn three_wl_fingerprint(num_vars: usize, clauses: &[Vec<Lit>]) -> Vec<usize>Expand description
The label-independent 3-WL fingerprint: the sorted multiset of triple-color class sizes. Separates strongly-regular graphs that share every 2-WL invariant (the rook’s vs Shrikhande graph).