pub fn satisfies(clauses: &[(Lit, Lit)], assignment: &[bool]) -> bool
Re-check a satisfying assignment: every clause has a true literal.