
ria:(?ExprX #=< ?ExprY)

   ExprX is less than or equal to ExprY with intergrality constraints.

Arguments
   ExprX               Arithmetic Expression
   ExprY               Arithmetic Expression

Type
   library(ria)

Description
Constraints ExprX to be less than or equal to ExprY. ExprX and ExprY are 
general arithmetic expressions, with the variables constrained to be 
integers.

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