kdrag.theories.logic.temporal.NEq

kdrag.theories.logic.temporal.NEq(x, y)

>>> x,y = smt.Consts("x y", TSort(smt.IntSort()))
>>> smt.simplify(Valid(NEq(x,y)))
Not(val(x)[0] == val(y)[0])