MiniZincIDE
MiniZincIDE copied to clipboard
MiniZinc
I added the OR tools solvers directory to "Extra solver search paths" but when I press OK on the preferences dialog and then open the preferences again, the "Extra solver...
Hello, I am using Minizinc IDE (the latest version) on Windows 10. I have been using it for a time and everything was fine. All of a sudden, when I...
Hi, Running latest version v2.5.5 but as well with v2.5.4. I run a model and sometimes works and sometimes crashes with window message "unknown error while executing minizinc: crashed" and...
Such a feature would be helpful to rapidly check for the presence of badly spelled symbols, or help in (possibly selectively) replacing them. It could also be an option of...
While autocomplete may help in writing prose or code in excessively verbose programming languages, it doesn't do much for MiniZinc which is very terse. People are not going to get...
For some reason, I am continually accumulating whitespace after the text when editing in the IDE. While this has no effect on compilation and execution, it has an effect on...
From the MiniZinc IDE 2.5.5 on Windows 10, with bundled version of Chuffed 0.10.4, using the CP-Profiler (option _Profile search_) sometimes lead to an unreadable graph output, with nodes overlapping...
"Some of the code examples are shown in boxes like the one below. If a code box has a heading, it usually also contains a link to the source code...
I saved a project in the MiniZinc IDE using the "Save project as..." feature. The project files indicated that all the files that had been opened in the IDE window...
