Function varisat_formula::cnf::strategy::cnf_formula

pub fn cnf_formula(
    vars: impl Strategy<Value = usize>, 
    clauses: impl Into<SizeRange>, 
    clause_len: impl Into<SizeRange>
) -> impl Strategy<Value = CnfFormula>