examples/dragon.dat
author Alpar Juttner <alpar@cs.elte.hu>
Sun, 05 Dec 2010 17:35:23 +0100
changeset 2 4c8956a7bdf4
permissions -rw-r--r--
Set up CMAKE build environment
alpar@1
     1
/* dragon.dat, a hard Paint-By-Numbers puzzle */
alpar@1
     2
alpar@1
     3
/* To reduce the solution time the clique cuts may be used. */
alpar@1
     4
alpar@1
     5
data;
alpar@1
     6
alpar@1
     7
param m := 20;
alpar@1
     8
alpar@1
     9
param n := 20;
alpar@1
    10
alpar@1
    11
param row :    1  2  3  4  5 :=
alpar@1
    12
          1    7  1  .  .  .
alpar@1
    13
          2    1  1  2  .  .
alpar@1
    14
          3    2  1  2  .  .
alpar@1
    15
          4    1  2  2  .  .
alpar@1
    16
          5    4  2  3  .  .
alpar@1
    17
          6    3  1  4  .  .
alpar@1
    18
          7    3  1  3  .  .
alpar@1
    19
          8    2  1  4  .  .
alpar@1
    20
          9    2  9  .  .  .
alpar@1
    21
          10   2  1  5  .  .
alpar@1
    22
          11   2  7  .  .  .
alpar@1
    23
          12   14 .  .  .  .
alpar@1
    24
          13   8  2  .  .  .
alpar@1
    25
          14   6  2  2  .  .
alpar@1
    26
          15   2  8  1  3  .
alpar@1
    27
          16   1  5  5  2  .
alpar@1
    28
          17   1  3  2  4  1
alpar@1
    29
          18   3  1  2  4  1
alpar@1
    30
          19   1  1  3  1  3
alpar@1
    31
          20   2  1  1  2  . ;
alpar@1
    32
alpar@1
    33
param col :    1  2  3  4  5 :=
alpar@1
    34
          1    1  1  1  2  .
alpar@1
    35
          2    3  1  2  1  1
alpar@1
    36
          3    1  4  2  1  1
alpar@1
    37
          4    1  3  2  4  .
alpar@1
    38
          5    1  4  6  1  .
alpar@1
    39
          6    1  11 1  .  .
alpar@1
    40
          7    5  1  6  2  .
alpar@1
    41
          8    14 .  .  .  .
alpar@1
    42
          9    7  2  .  .  .
alpar@1
    43
          10   7  2  .  .  .
alpar@1
    44
          11   6  1  1  .  .
alpar@1
    45
          12   9  2  .  .  .
alpar@1
    46
          13   3  1  1  1  .
alpar@1
    47
          14   3  1  3  .  .
alpar@1
    48
          15   2  1  3  .  .
alpar@1
    49
          16   2  1  5  .  .
alpar@1
    50
          17   3  2  2  .  .
alpar@1
    51
          18   3  3  2  .  .
alpar@1
    52
          19   2  3  2  .  .
alpar@1
    53
          20   2  6  .  .  . ;
alpar@1
    54
alpar@1
    55
end;