This lab has been been planned for two meetings and consists of two checkpoints:

1. Basic CSP model of an almost “real-life” optimization problem
2. Optimizing model to get optimal solution

We will try to solve a so called port-scheduling problem, concerning coal transport in an Australian port. Problem skeleton is available at gitlab repository and consists of several files:

• README.md — basic readme concerning the problem
• data directory containing data .dzn files
• handout.pdf — a comprehensive overview of the problem
• portschedule.mzn — the initial model of the problem. Your task will be to put there some constraints.
• portschedule.mzp — MiniZinc project file, just open it with MiniZincIDE
• portschedule_draw.cpp — sources of program used to visualize solution, more about in the readme
• test.sh — script testing correctness of your model
• profile.sh — script checking efficiency of the model

1. Create a gitlab account
2. Follow instructions from the project README