Results 2 issues of Mommessc

I've encountered a strange behaviour of Minizinc when changing optimisation levels. The MWE code below works fine with `-O1` optimisation level, but gives an `evaluation error: cannot determine bounds` with...

bug
resolved

Hello, I have a few requests/bugfixes to report about the visualisation tool. I am launching the IDE in a Docker container with Firefox, but I get an error message `Unable...