This repository contains MiniZinc examples and slides for the 2025 ICAPS Tutorial on MiniZinc: Constraint Modelling for Planning and Scheduling.
Authors:
The repository contains the MiniZinc code for the examples and exercises used this tutorial.
The following links will open the examples directly in the online MiniZinc Playground. Alternatively, you can clone or download this repository and open the example projects in the MiniZinc IDE.
-
First Steps: Toy shop example
-
Enums and logic constraints: Map colouring
-
Modelling objects: Parametric toy shop
-
Arrays: Production planning
-
Global Constraints: Staff allocation
-
Exercise: Cryptarithms (PDF description)
-
Exercise: PowerGen (PDF description)
-
Basic Planning: Robot pickup
-
Exercise: Scheduling Activity (PDF description)
The slides in this repository are copyright Monash University 2025, all rights reserved.