(clauses, 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
    representation

    >>> from sympy.logic.algorithms.dpll import unit_propagate_int_repr
    >>> unit_propagate_int_repr([set([1, 2]), set([3, -2]), set([2])], 2)
    [set([3])]
Same as unit_propagate, but arguments are expected to be in integer
    representation
Same as unit_propagate but arguments are expected to be in integer representation
def unit_propagate_int_repr(clauses, s):
    """
    Same as unit_propagate, but arguments are expected to be in integer
    representation

    >>> from sympy.logic.algorithms.dpll import unit_propagate_int_repr
    >>> unit_propagate_int_repr([set([1, 2]), set([3, -2]), set([2])], 2)
    [set([3])]

    """
    negated = set([-s])
    return [clause - negated for clause in clauses if s not in clause]
def unit_propagate_int_repr ( clauses , s ) : negated = set ( [ - s ] ) return [ clause - negated for clause in clauses if s not in clause ]