This is an old revision of the document!

Constraint Programming vs Real Life Problem

This lab has been been planned for two meetings and consists of two checkpoints:

  1. Basic CSP model of an almost “real-life” optimization problem
  2. Optimizing model to get optimal solution


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:

  • — 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
  • — script testing correctness of your model
  • — script checking efficiency of the model


  1. Create a gitlab account
  2. Follow instructions from the project README
en/dydaktyka/csp/port_scheduling.1553697486.txt.gz · Last modified: 2019/03/27 14:38 by msl Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0