ICAPS 2025 MiniZinc Tutorial: Constraint Modelling for Planning and Scheduling

This repository contains MiniZinc examples and slides for the 2025 ICAPS Tutorial on MiniZinc: Constraint Modelling for Planning and Scheduling.

Authors:

• Peter J. Stuckey
• Guido Tack

Examples

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

• Basic Scheduling

• Disjunctive Scheduling

• Optional Task Scheduling

• Exercise: Scheduling Activity (PDF description)

Slides

The slides in this repository are copyright Monash University 2025, all rights reserved.

• Basic Modelling
• Objects, Arrays, Comprehensions
• Basic Planning
• Basic Planning
• Basic Scheduling
• Disjunctive Scheduling
• Cumulative Scheduling
• Optional Task Scheduling