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)
