def _simple_compute_conflict(self):
        return [-(level.decision) for level in self.levels[1:]]
Build a clause representing the fact that at least one decision made
dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/SATSolver._simple_compute_conflict