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

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 .