def unit_propagate_int_repr(clauses, s):
    negated = {-s}
    return [clause - negated for clause in clauses if s not in clause]
Same as unit_propagate, but arguments are expected to be in integer
dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll.py/unit_propagate_int_repr