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 problemdata directory containing data .dzn fileshandout.pdf — a comprehensive overview of the problemportschedule.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 MiniZincIDEportschedule_draw.cpp — sources of program used to visualize solution, more about in the readmetest.sh — script testing correctness of your modelprofile.sh — script checking efficiency of the model