Jason N

Hi, thanks for the bug report. If you can't attach you're whole model/data here publicly, could you send your model and a data file where this happens to `jason [at]...

I wonder if this is the same issue that's causing https://github.com/MiniZinc/minizinc-python/issues/174 Could you try running that command with `-v` for verbose output and see if it outputs anything else?

Could you try running `minizinc -c --solver gecode model.mzn data.dzn` which should create `model.fzn` and then `fzn-gecode model.fzn` and see what error it gives you? And if you're using powershell,...

Actually, after doing some thinking - I suspect what's happening is that we package a version of Gecode which requires the Qt DLLs to be available. Running from the IDE...

Thanks! The stable and edge channels of the snap package should be updated and fixed soon.