MiniZinc 2.0.12
This releases fixes a number of bugs and unifies the language semantics for partial functions. For a full change log visit http://www.minizinc.org/2.0/changes.html.
This releases fixes a number of bugs and unifies the language semantics for partial functions. For a full change log visit http://www.minizinc.org/2.0/changes.html.