def evaluate(clauses, sol):
sol_vars = {} <EOL>for i in sol:<EOL><INDENT>sol_vars[abs(i)] = bool(i > <NUM_LIT:0>)<EOL><DEDENT>return all(any(sol_vars[abs(i)] ^ bool(i < <NUM_LIT:0>) for i in clause)<EOL>for clause in clauses)<EOL>
evaluate the clauses with the solution