The core tools of MiniZinc, i.e., the MiniZinc compiler and the MiniZinc IDE, are distributed under the Mozilla Public License version 2.0. This license is classified as open source and free software.
The Mozilla project maintains a useful FAQ about the Mozilla license. In particular, the FAQ explains your obligations if you want to use the MiniZinc source code or binaries we provide, or re-distribute the binaries, or distribute binaries that you created from the MiniZinc source code.
The MiniZinc binary distribution contains several pieces of software in addition to the MiniZinc compiler and IDE. These are distributed under the following licenses:
All open-source licenses above permit linking to and distributing binary versions of the software.
The source code for the MiniZinc documentation is available from GitHub. The source code and the documentation itself is available under the terms of the Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0) license.