Function varisat::cnf::strategy::cnf_formula

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