def _clause_sat(self, cls):
        for lit in self.clauses[cls]:
            if lit in self.var_settings:
                return True
        return False
Check resource request is not greater than that available or allowed.
dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/SATSolver._clause_sat--crossover with--dataset/ETHPy150Open BD2KGenomics/toil/src/toil/batchSystems/abstractBatchSystem.py/BatchSystemSupport.checkResourceRequest