We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e6dc9a6 commit 0fbd3f3Copy full SHA for 0fbd3f3
MiniZincIDE/CHANGES
@@ -1,3 +1,9 @@
1
+2023-11-27
2
+- Fix command used to run findMUS and Globalizer.
3
+- Add ability to set the ports used for the visualisation server.
4
+- Add option for printing the visualisation server URL for debugging purposes.
5
+- Add more information to subprocess error messages.
6
+
7
2023-11-16
8
v2.8.0
9
- Fix unreadable cheat sheet font colour in dark mode (#191).
0 commit comments