A MiniZinc Tutorial

← Back to document page

A MiniZinc TutorialKim Marriott and Peter J. Stuckeywith contributions from Leslie De Koninck and Horst SamulowitzContents1 Introduction22 Basic Modelling in Our First Example. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . An Arithmetic Optimisation Example. . . . . . . . . . . . . . . . . . . . . . . . . . Datafiles and Assertions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Real Number Solving. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Basic structure of a model. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123 More Complex Arrays and Sets.

A MiniZinc Tutorial Kim Marriott and Peter J. Stuckey with contributions from Leslie De Koninck and Horst Samulowitz Contents 1 Introduction 2 2 Basic Modelling in MiniZinc 2

  Tutorials, A minizinc tutorial, Minizinc