>=

A finite domain constraint. u must be greater than or equal to v.
 u and v must eventually be given domains if vars.