!=

added

ns
clojure.core.logic.fd

type
function

(!= u v)

A finite domain constraint. u and v must not be equal. u and v
must eventually be given domains if vars.