citysolve.dzn

k = 2;
nObjects = 12;
nRectangles = 20;
nShapes = 17; % number of combinations of rectangles
valid_shapes = [ { 1, 2, 3, 4 }     % lell
               , { 5, 6 }   % rite
               , { 5, 6 }   % rite
               , { 7, 8 }    % left
               , { 7, 8 }    % left
               , { 9, 10, 11, 12 } % ell
               , { 9, 10, 11, 12 } % ell
               , { 9, 10, 11, 12 } % ell
               , { 13 }             % plus
               , { 14, 15, 16, 17 } % tee
               , { 14, 15, 16, 17 } % tee
               , { 14, 15, 16, 17 } % tee
               ];

l = [0, 0]; % figure this out
u = [7, 7]; % figure this out
rect_size = [|
    1, 3| 1, 3| % triple 1 and 2
    3, 1| 3, 1| % triple 3 and 4
    1, 2| 1, 2| % double 5 and 6
    1, 2| 1, 2| % double 7 and 8
    2, 1| 2, 1| % double 9 and 10
    2, 1| 2, 1| % double 11 and 12
    1, 1 | 1, 1 | 1, 1 | 1, 1 | 1, 1 | 1, 1 | 1, 1 | 1, 1 |]; % single rects 13-20

rect_offset = [|
    0, 0| 2, 0| % triple 1 and 2
    0, 0| 0, 3| % triple 3 and 4
    0, 0| 2, 0| % double 5 and 6
    0, 2| 2, 2| % double 7 and 8
    0, 0| 0, 2| % double 9 and 10
    1, 0| 1, 1| % double 11 and 12
    0, 0| 1, 0| 2, 1| % single 13, 14, and 15
    0, 1| 1, 1| 2, 1| % single 16, 17, and 18
    0, 2| 1, 2|];     % single 19 and 20

shape =
  [ { 3, 16 }, { 4, 15 }, { 2, 13 }, { 1, 20 } % lell
  , { 5, 8 }, { 10, 11 }                       % rite
  , { 6, 7 }, { 9, 12 }                        % left
  , { 2, 13 }, { 1, 14 }, {3, 18 }, {4, 13 }   % ell
  , { 2, 16, 18 }                              % plus
  , { 1, 17 }, { 2, 16}, {3, 17 }, {4, 14 }    % tee
  ];