MiniZinc version 1.0.1 released
From the MiniZinc mailing list:
Version 1.0.1 of the G12 MiniZinc distribution has been released.Version 1.0.1 of the distribution can be downloaded from Download.
Snapshots of the development version of the G12 MiniZinc distribution
are also available from this page.Further information about MiniZinc and FlatZinc is available from MiniZinc and FlatZinc
Bugs may be reported via the G12 bug tracking system, which can be accessed at http://bugs.g12.csse.unimelb.edu.au.
From the NEWS file:
G12 MiniZinc Distribution version 1.0.1---------------------------------------
There have been no changes to the definitions of the MiniZinc and FlatZinc
languages in this release. There have been no changes to the definition
of XML-FlatZinc.
Changes in this release:* MiniZinc tools command line changes
The MiniZinc interpreter and MiniZinc-to-FlatZinc converter now
recognise files with the .dzn extension as MiniZinc data files, i.e.
you no longer need to use the --data option to use such files as data
files.* FlatZinc output processing tool
We have added a new tool, solns2dzn, that can be used to process the
output of FlatZinc implementations in various ways. For example, it
can extract each individual solution and write it to a separate file.* The FlatZinc interpreter's lazy clause generation solver now supports
the int_times/3 built-in.* The global_cardinality_low_up global constraint has been added to the
MiniZinc library.* The MiniZinc-to-FlatZinc converter now propagates annotations through
assertions during flattening, For example, the following fragment of
MiniZinc:predicate foo(int: x, array[int] of var int y);
predicate bar(int: x, array[int] of var int y) =
assert(x > 3, "value of x must be greater than 3", foo(x, y));constraint bar(4, ys) :: baz;
will be flattened into the following fragment of FlatZinc:
constraint foo(4, ys) :: baz;
Bugs fixed in this release:* A bug in the implementation of the FlatZinc built-in int_mod/3 in the
FlatZinc interpreter's finite-domain backend has been fixed.* The MiniZinc-to-FlatZinc converter now does a better job of extracting
output variables from output items.* The solver-specific global constraint definitions for the G12 lazy
clause generation solver are now documented. They are in the
``g12_lazyfd'' directory of the MiniZinc library.* A bug that caused a segmentation fault in the type checker when
checking large FlatZinc instances has been fixed.* A bug where a cycle of equalities caused mzn2fzn to go into
a loop has been fixed. [Bug #65]* mzn2fzn now imposes constraints on arguments induced by predicate
parameter types. [Bug #69]* Flattening of set2array coercions is now supported. [Bug #70]
* A bug that caused mzn2fzn to abort on min/max expressions over empty arrays
has been fixed. [Bug #71]* mzn2fzn now computes bounds on set cardinality variables correctly.