@property
    def _current_level(self):
        return self.levels[-1]
The current decision level data structure
dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/SATSolver._current_level