.. _part-tutorial:

A MiniZinc Tutorial
+++++++++++++++++++

.. toctree::

   modelling
   modelling2
   predicates
   optiontypes
   mzn_search
   efficient
   sat
   flattening