For our solver we define int_min in terms of array_int_minimum. However, the standard definition of array_int_minimum is in terms of int_min. So, when compiling a mzn file with a max constraint, MiniZinc crashes and reports a stack overflow.
The fix is to indicate to MiniZinc we support array_int_minimum natively.
For our solver we define
int_minin terms ofarray_int_minimum. However, the standard definition ofarray_int_minimumis in terms ofint_min. So, when compiling a mzn file with amaxconstraint, MiniZinc crashes and reports a stack overflow.The fix is to indicate to MiniZinc we support
array_int_minimumnatively.