MiniZinc 2
==========

This package contains the MiniZinc 2 constraint modelling
language and tool chain. Compared to the previous version 1.6,
it is a complete re-write of the MiniZinc-to-FlatZinc
compiler, based on the new libminizinc C++ library.

For installation and compilation instructions, as well as a small
start-up guide, please refer to the file INSTALL.txt.

Changes from version 1.6
------------------------

MiniZinc 2.0 contains many new features and is based on a complete rewrite of
the MiniZinc-to-FlatZinc compiler. If you are currently using the previous
version 1.6, the new tools can be used as drop-in replacements. The generated
FlatZinc is compatible with version 1.6, so all FlatZinc solvers should work
without changes.

** MiniZinc language changes **

 - MiniZinc now supports user-defined functions. Details have been published
   in the paper "MiniZinc with Functions". Both functions and predicates can
   be recursive.
 - MiniZinc now supports option types. Details have been published in the
   paper "Modelling with Option Types in MiniZinc".
 - Let expressions have been generalised. They can now contain constraint
   items in addition to variable declarations.
 - Array index sets can be declared using arbitrary set expressions as long as
   they evaluate to contiguous ranges.
 - The if-then-else expression has been generalised to allow the condition to
   be a var bool expression (instead of only par bool).
 - Array and set comprehensions as well as generator calls can now iterate
   over variables and use var bool where conditions.
 - Any bool expression can now automatically coerce to an int expression,
   likewise for int and float. This means that you don't have to write
   bool2int or int2float in you models any more.
 - Equality constraints can now be posted between array expressions.
 - Arbitrary expressions can now be included ("interpolated") into strings,
   using the syntax "some text \(e) some more text", where e is any
   expression. It is the same as writing "some text "++show(e)++" some more
   text".

** New built-in functions **

Array functions: array1d, arrayXd, row, col, has_index, has_element, sort_by,
sort, arg_sort, arg_min, arg_max

** New global constraints **

 - arg_max, arg_min
 - arg_sort
 - k-dimensional diffn
 - disjunctive
 - geost
 - knapsack
 - network_flow
 - regular with NFAs
 - symmetric all different
 - optional scheduling constraints: alternative, span, disjunctive, cumulative
 - functional versions of many global constraints

** New tool chain **

 - There are a few new builtins that solvers can reimplement, these are listed
   in the redefinitions-2.0 file.
 - Include items use a different method for finding included files. Paths are
   now interpreted as relative to the file that has the include item. That
   way, the mzn2fzn compiler can be called from a different working directory.
 - A new tool, mzn2doc, can produce html output from the documentation
   comments. The MiniZinc distribution contains the documentation for global
   constraints and builtins generated directly from the library source code.
 - Executable mzn-fzn is a replacement for the minizinc driver: option --solver
   can define a different flatzinc interpreter (default: 'flatzinc')
   
** New MIP solver interfaces **

 - The executables mzn-cplex, mzn-gurobi, mzn-scip and mzn-cbc use the
   corresponding MIP solver. They can interpret FlatZinc code compiled with
   -Glinear, as well as handle original model files (by flattening + solving).
   See README_MIP.txt.

** Bugs **

If you encounter any problems with MiniZinc, please use the MiniZinc bug tracker
at http://www.minizinc.org/trac to report any issues or feature requests.
