This is an old revision of the document!
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 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