Skip to content

MiniZinc 2.1.1

Compare
Choose a tag to compare
@guidotack guidotack released this 14 Dec 18:25
· 4211 commits to master since this release

This release fixes a few small bugs in the type checking of enumerated types. Full change log at http://www.minizinc.org/changes.html.