Function varisat_formula::test::conditional_pigeon_hole

pub fn conditional_pigeon_hole(
    columns: impl Strategy<Value = usize>, 
    extra_rows: impl Strategy<Value = usize>
) -> impl Strategy<Value = (Vec<Lit>, usize, CnfFormula)>

Generates a conditional pigeon hole principle formula.