====== Constraint Programming vs Real Life Problem ======

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 [[https://gitlab.com/agh-krr/2019-2020/port-schedule|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

===== Assignments =====

  - Create a gitlab account
  - Follow instructions from the project README