def _simplify(self):
        changed = True
        while changed:
            changed = False
            changed |= self._unit_prop()
            changed |= self._pure_literal()
Called before applying a given update job.
dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/SATSolver._simplify--crossover with--dataset/ETHPy150Open sassoftware/conary/conary/callbacks.py/UpdateCallback.setUpdateHunk