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 e359b29 commit 5e9241bCopy full SHA for 5e9241b
Project.toml
@@ -1,7 +1,7 @@
1
name = "MiniZinc"
2
uuid = "a7f392d2-6c35-496e-b8cc-0974fbfcbf91"
3
authors = ["odow <[email protected]>"]
4
-version = "0.3.11"
+version = "0.3.12"
5
6
[deps]
7
Chuffed_jll = "77125aae-c893-5498-99e3-e30470bfa328"
0 commit comments