
ria:(?ExprX >= ?ExprY)

   ExprX is greater than or equal to ExprY.

Arguments
   ExprX               Arithmetic Expression
   ExprY               Arithmetic Expression

Type
   library(ria)

Description
Constraints ExprX to be greater than or equal to ExprY. ExprX and ExprY are 
general arithmetic expressions.

See Also
   >= / 2, suspend : >= / 2, eplex : >= / 2, ic : >= / 2, =< / 2, =:= / 2
