Comment by mzl

Thanks, luck of the draw ¯\_(ツ)_/¯

If you are interested in learning more about how to model problems with MiniZInc, there are several Coursera courses available: https://www.minizinc.org/resources/#courses-title