Function varisat_formula::test::sat_formula

pub fn sat_formula(
    vars: impl Strategy<Value = usize>, 
    clause_count: impl Strategy<Value = usize>, 
    density: impl Strategy<Value = f64>, 
    polarity_dist: impl Strategy<Value = f64>
) -> impl Strategy<Value = CnfFormula>

Generate a sat instance.

This generates a random full assignment and then only generates clauses compatible with that assignment.