MiniZinc is a free and open-source constraint modeling language. You can use MiniZinc to model constraint satisfaction and optimization problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints.
This handbook consists of four parts: :numref:`part-introduction` covers installation and basic steps; :numref:`part-tutorial` is a tutorial-style introduction into modelling with MiniZinc; :numref:`part-manual` is a user manual for the individual tools in the MiniZinc tool chain; and :numref:`part-reference` is a reference to the language.
This documentation is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License. This means that you are free to copy and redistribute the material in any medium or format for any purpose, even commercially. However, you must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. If you remix, transform, or build upon the material, you may not distribute the modified material.
.. toctree:: :maxdepth: 2 :numbered: 4 part_1_overview part_2_tutorial part_3_user_manual part_4_reference
.. only:: builder_html Indices and tables ------------------ * `Change log <changelog.html>`__ * :ref:`genindex`