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
6El Manual de Minizinc
7=====================
8
9.. .. only:: builder_html
10..
11.. .. image:: figures/MiniZn_logo_2.*
12.. :height: 150px
13
14.. toctree::
15 :maxdepth: 2
16 :numbered:
17
18 part_1_introduction
19 part_2_tutorial
20 part_3_reference
21
22.. only:: builder_html
23
24 Índices y tablas
25 ----------------
26
27 * :ref:`genindex`