MiniZincIDE
MiniZincIDE copied to clipboard
MiniZinc
I suspect this is difficult to do, but it would be nice if the IDE had (one day) an option to display all the decision variables in one colour and...
Hello. https://github.com/MiniZinc/MiniZincIDE/blob/8ffc13b923f0a12be33f32e1e225125aa543adbb/resources/solvers/gecode.msc#L5 Output of `MiniZincIDE-2.4.3-bundle-linux-x86_64/bin/fzn-gecode --help`: Gecode configuration information: - Version: 6.2.1
The chuffed error is:  "Unknown error..." executing "fzn-chuffed.exe" (Chuffed 0.10.4 in MiniZinc IDE: 2.3.1 The model is: [benchmarkS1_multiplier - Copy.txt](https://github.com/MiniZinc/MiniZincIDE/files/3749290/benchmarkS1_multiplier.-.Copy.txt) and the data is: [data-multiplier - Copy.txt](https://github.com/MiniZinc/MiniZincIDE/files/3749294/data-multiplier.-.Copy.txt) With additional...
The following model returns 'unsatisfiable' when using Gecode 6.3.0, we can easily verify that it is satisfiable by using another solver, or by adding `constraint p == false;` after the...
System: macOS 14.0 Arch: M1 arm64 MiniZincIDE: 2.7.6 MiniZincIDE crashes often when I'm using the project sidebar. The most common case is when I want to open an `.msc` (compiled...
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...
Sometimes some menus disappears. See screenshot. Their keyboard shortcuts, like CMD-K in the View menu, stops working so they seem to be disabled rather than just invisible. MiniZinc IDE 2.7.2...
On Macbook Pro 13 M2 when double clicking on the Output the app crashes without any error code
I find the colorful syntax highlighting in the IDE distracting and hard to read. There are a few alternative "themes" to chose from in the IDE settings, but it would...
Tried to quit but IDE warned about unsaved changes to project. Did Cancel. Then, I think, I did CMD-W (Close Window) and the IDE crashed. MinZinc IDE 2.7.1, macOS 13.3.1,...