def _all_models(models):
    satisfiable = False
    try:
        while True:
            yield next(models)
            satisfiable = True
    except __HOLE__:
        if not satisfiable:
            yield False
dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/_all_models