Hello,
I have a small extract of a program where when I move one constraint at the top and then to the bottom I obtain different results in one case it outputs a solution and in the other, the following error:
I have attached the model (I am using MiniZinc 2.3.8) and Gecode 6.3.0. The current version does not work, but moving the last constraint as first, gecode finds solution.
Thank you,
Nevena