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 2ddcfbd commit 3202c57Copy full SHA for 3202c57
MiniZincIDE/CHANGES
@@ -1,3 +1,7 @@
1
+2023-05-20
2
+ v2.7.6
3
+- Update to MiniZinc 2.7.6.
4
+
5
2023-06-07
6
v2.7.5
7
- Use native Qt dark mode on Windows where supported.
0 commit comments