def cnf_apply_sol(clauses, sol): """ applys the solution SOL to CLAUSES (should return a boolean value) SOL is a list of booleans where the variable name corresponds to the index of the list """ return PBA.cnf_apply_sol(clauses, sol)