MiniZinc version 1.2.2 released
MiniZinc version 1.2.2 has been released. It can be downloaded here.
From NEWS file:
G12 MiniZinc Distribution 1.2.2
-------------------------------Changes to the MiniZinc language:
* We have added a new built-in function trace/2 that can be used to
print debugging output during flattening, for example the following
MiniZinc fragment:constraint forall (i in 1 .. 5) (
trace("Processing i = " ++ show(i) ++ "\n",
x[i] < x[i + 1]
)
);
will cause mzn2fzn to print the following as the above constraint
is flattened:Processing i = 1
Processing i = 2
Processing i = 3
Processing i = 4
Processing i = 5
Other changes in this release:* The FlatZinc interpreter's -s option is now a synonym for the --solver-statistics option instead of the --solver-backend option.
* The FlatZinc interpreter's LazyFD backend can now print out the number of search nodes explored after each solution is generated.
* The mzn script has been extended so that comments in the FlatZinc output stream, such as those containing solver statistics, are printed after the output produced by processing the output item.
Bugs fixed in this release:
* A bug that caused the mzn script to abort if the model contained a large array literal has been fixed.