This lab has been planned for two meetings of moderately demanding work. We will try to solve 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