Returns the maximum value allowed in gecode's domain.
Var
Free variable
Description
Returns the maximum value allowed in gecode's domain. It is strongly
recommended that the user values used in the domain to not approach
this value, because propagation can easily lead to values outside
what gecode can support.