!=

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