
ria:(?ExprX #>= ?ExprY)

   ExprX is greater  or equal to ExprY with intergrality constraints.

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, with the variables constrained to be 
integers.

See Also
   fd : #>= / 2, suspend : #>= / 2, fdplex : #>= / 2, ic : #>= / 2, #= / 2, #=< / 2, #> / 2, #< / 2
