software/minizinc/docs/en/part_2_tutorial.rst at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / minizinc / docs / en / part_2_tutorial.rst

at develop 179 B view raw

 1.. _part-tutorial:
 2
 3A MiniZinc Tutorial
 4+++++++++++++++++++
 5
 6.. toctree::
 7
 8   modelling
 9   modelling2
10   predicates
11   optiontypes
12   mzn_search
13   efficient
14   sat
15   flattening