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