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

this repo has no description

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

at develop 187 B view raw

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