MiniZincIDE Version 2.9.3
Release Date
7/30/2025
Bug Fix?
No
Minor Release?
No
Patch Notes
MiniZincIDE Version 2.9.2
Release Date
4/9/2025
Bug Fix?
No
Minor Release?
No
Patch Notes
MiniZincIDE Version 2.9.2
Release Date
4/9/2025
Bug Fix?
No
Minor Release?
No
Patch Notes
MiniZincIDE Version 2.9.1
Release Date
3/4/2025
Bug Fix?
No
Minor Release?
No
Patch Notes
MiniZincIDE Version 2.9.0
Release Date
2/17/2025
Bug Fix?
No
Minor Release?
No
Patch Notes
Interested in automating patching for MiniZincIDE?