def _vsids_lit_assigned(self, lit):
        pass
Initializes the logger
dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/SATSolver._vsids_lit_assigned--crossover with--dataset/ETHPy150Open JohnMaguire/Cardinal/cardinal/plugins.py/EventManager.__init__