Jason N

Hmm, it seems to work for me on my Windows machine with the same versions of everything. @DavidPratten Does Gecode work from the MiniZincIDE?

I now suspect that this is because Gecode can't find the required Qt DLLs since they're one directory up from where `fzn-gecode.exe` is. Could you try adding the MiniZinc installation...

Hi, I haven't been able to reproduce this on Windows so far - are you able to post a model with data that has this problem?

Thanks! The issue with warning locations not being shown in the IDE will be fixed in the next release (or you can use the [edge release](https://github.com/MiniZinc/MiniZincIDE/releases/tag/edge) to test out the...

Does this still cause problems when you have `-t` in your `stdFlags`? MiniZinc does deduct the time spent on flattening if a solver configuration `.msc` file has `-t` in its...

At the moment the `++` is treated as a special builtin and so the overload gets ignored, although it wouldn't be too difficult to allow overloading to work here. It's...

Yes, maybe that's a good argument for having proper user overloading - although I suppose the risk is that users could have different behaviours for the same overload of an...

I think this was closed because it doesn't seem to be an actual issue in the MiniZinc compiler - it seems more to do with the Gecode solver in this...

This is a separate bug, but will be fixed by 854d2e2e598d6a71eb46a25afadb988eb8800f93 in the next release (which will give a type error instead of crashing/giving a confusing error message). Currently using...

I believe this should now be fixed in 2.8.6