LICENSE

Yuck (https://github.com/informarte/yuck) is provided under the terms
of the Mozilla Public License 2.0.

Some global constraint definitions (in resources/mzn/lib/yuck) reuse
bits and pieces from the default definitions that come with the
MiniZinc 2.0.x distributions (https://github.com/MiniZinc/libminizinc)
which are used under the terms of the Mozilla Public License 2.0.

The test cases in resources/mzn/examples are based on the examples
that came with the G12 MiniZinc distribution version 1.6
(http://www.minizinc.org/g12distrib.html) and which were modified and
included under the terms of the revised BSD license, see the file
resources/mzn/examples/LICENSE.

A copy of the Mozilla Public License 2.0 can be found in the file
doc/licenses/MPL-2.0.txt.