[ library(ic) | Reference Manual | Alphabetic Index ]
# ?ExprX #>= ?ExprY

ExprX is greater than or equal to ExprY (with integrality constraints).
*ExprX*
- Integer arithmetic expression
*ExprY*
- Integer arithmetic expression

## Description

Constrains ExprX to be greater than or equal to ExprY. Also constrains
all variables appearing in ExprX and ExprY to be integral and checks that
all constants are integers.

Note that if all variables and constants appearing in this constraint
are already integral, then the constraint is equivalent to
ic:(ExprX >= ExprY).

## See Also

#< / 2, #=< / 2, #= / 2, #> / 2, #\= / 2, >= / 2, #>= / 3, suspend : #>= / 2, gfd : #>= / 2, fd : #>= / 2