Skip to content

MiniZinc IDE 2.0.10

Compare
Choose a tag to compare
@guidotack guidotack released this 09 Dec 21:58
· 866 commits to master since this release

No changes in the IDE, but the packages have been updated to include MiniZinc 2.0.10.