From 6086f4bb6a6e9071a3ee09ee60d7a53132ac9110 Mon Sep 17 00:00:00 2001 From: David Tonhofer Date: Fri, 13 Aug 2021 16:43:17 +0200 Subject: [PATCH] Added a comment explaining what this is --- packing/rotation/sbprotategeost.mzn | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/packing/rotation/sbprotategeost.mzn b/packing/rotation/sbprotategeost.mzn index 3465d41..b80762d 100644 --- a/packing/rotation/sbprotategeost.mzn +++ b/packing/rotation/sbprotategeost.mzn @@ -1,17 +1,20 @@ -int: n; % number of rooms +% This model uses the geost global constraint but +% runs on the orginal 'sbprotate.dzn' data. + +int: n; % number of blocks set of int: BLOCK = 1..n; int: m; % number of rectangle/offsets set of int: ROFF = 1..m; array[ROFF,1..4] of int: d; % defns set of int: ROT = 1..4; array[BLOCK,ROT] of set of ROFF: shape; -int: h; % height of roll -int: maxl; % maximum length of roll +int: h; % width of river +int: maxl; % maximum length of river array[BLOCK] of var 0..maxl: x; array[BLOCK] of var 0..h: y; -var 0..maxl: l; % length of carpet used +var 0..maxl: l; % length of river used solve minimize l; @@ -56,4 +59,4 @@ constraint geost_bb(2, [ l,h ]); -output ["l = \(l);\nx = \(x);\ny = \(y);\nkind = \(kind);\n"]; \ No newline at end of file +output ["l = \(l);\nx = \(x);\ny = \(y);\nkind = \(kind);\n"];