Function varisat_formula::cnf::strategy::vec_formula

pub fn vec_formula(
    vars: impl Strategy<Value = usize>, 
    clauses: impl Into<SizeRange>, 
    clause_len: impl Into<SizeRange>
) -> impl Strategy<Value = Vec<Vec<Lit>>>