def _vsids_lit_assigned(self, lit):
        pass
Handle the assignment of a literal for the VSIDS heuristic.
dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/SATSolver._vsids_lit_assigned