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 e00ba1a commit 376daf9Copy full SHA for 376daf9
MiniZincIDE/CHANGES
@@ -1,4 +1,9 @@
1
+2023-12-15
2
+ v2.8.2
3
+- Make process handling more robust to failures.
4
+
5
2023-11-27
6
+ v2.8.1
7
- Fix command used to run findMUS and Globalizer.
8
- Add ability to set the ports used for the visualisation server.
9
- Add option for printing the visualisation server URL for debugging purposes.
0 commit comments