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

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