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 937b65c commit f2b8092Copy full SHA for f2b8092
MiniZincIDE/CHANGES
@@ -1,3 +1,11 @@
1
+2023-11-16
2
+ v2.8.0
3
+- Fix unreadable cheat sheet font colour in dark mode (#191).
4
+- Add option to output objective value and enable by default.
5
+- Show manually input parameters in output window.
6
+- Fix missing checker messages (#192).
7
+- Fix incorrect OpenSSL version in Linux packages (#189).
8
+
9
2023-05-20
10
v2.7.6
11
- Update to MiniZinc 2.7.6.
MiniZincIDE/MiniZincIDE.pri
@@ -1,6 +1,6 @@
QT += core gui widgets websockets
-VERSION = 2.7.7
+VERSION = 2.8.0
DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\"
bundled {
0 commit comments