def logout(request):
  from kay.sessions import flush_session
  flush_session(request)
  if hasattr(request, 'user'):
    from kay.auth.models import AnonymousUser
    request.user = AnonymousUser()
The current decision level data structure
dataset/ETHPy150Open IanLewis/kay/kay/auth/__init__.py/logout--crossover with--dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/SATSolver._current_level