Skip to content

MiniZinc 2.1.2

Compare
Choose a tag to compare
@guidotack guidotack released this 20 Dec 10:18
· 4206 commits to master since this release

This bug fix release resolves a number of issues with enumerated types and multiple output items.