this repo has no description
dekker.one
1.. MiniZinc documentation master file, created by
2 sphinx-quickstart on Sat Nov 26 18:22:59 2016.
3 You can adapt this file completely to your liking, but it should at least
4 contain the root `toctree` directive.
5
6The MiniZinc Handbook
7=====================
8
9MiniZinc 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.
10
11This 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.
12
13This documentation is licensed under a
14`Creative Commons Attribution-NoDerivatives 4.0 International License <http://creativecommons.org/licenses/by-nd/4.0/>`__. This means that you are free to copy and redistribute the material in any medium or format
15for 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.
16
17.. .. only:: builder_html
18..
19.. .. image:: figures/MiniZn_logo_2.*
20.. :height: 150px
21
22.. toctree::
23 :maxdepth: 2
24 :numbered: 4
25
26 part_1_overview
27 part_2_tutorial
28 part_3_user_manual
29 part_4_reference
30
31.. only:: builder_html
32
33 Indices and tables
34 ------------------
35
36 * :ref:`genindex`