def _clause_sat(self, cls):
        for lit in self.clauses[cls]:
            if lit in self.var_settings:
                return True
        return False
Check if a clause is satisfied by the current variable setting.
dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/SATSolver._clause_sat