Function varisat_formula::test::sgen_unsat_formula

pub fn sgen_unsat_formula(
    blocks: impl Strategy<Value = usize>
) -> impl Strategy<Value = CnfFormula>

Generate small hard unsat instances.

Implementation of http://www.cs.qub.ac.uk/~i.spence/sgen/ but with random partitions