pub fn heule_clique_ranked(n: usize, k: usize) -> RankedRefutationExpand description
The steered clique-coloring refutation with its rank function attached — the analogue of
heule_php_ranked over the coloring encoding, so a clique refutation also ships a checkable
O(n²) size certificate (rank = active vertices remaining).