IntDomain question
Closed this issue · 1 comments
parzival3 commented
Why the Integer domain is bounded to: ref Why specifically decided by 4?
[Integer.MIN_VALUE/4 + 2, Integer.MAX_VALUE/4 + 2]
And have you ever considered to use BigInteger type instead of normal integers?
krzku commented
This is, in first place, a direct consequence of Geost implementation. It cannot handle values larger or lower than defined in IntDomain. Otherwise, most constraints should work correctly with Integer.MIN_VALUE but we did not tested it thoroughly.
Regarding BigInteger, we do not use them because of performance reasons.
/Kris