def unit_propagate_int_repr(clauses, s):
    negated = {-s}
    return [clause - negated for clause in clauses if s not in clause]
Return a tuple of strings that match a shell-style pattern.
dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll.py/unit_propagate_int_repr--crossover with--dataset/ETHPy150Open araile/see/see.py/fn_filter