1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/examples/dragon.dat	Mon Dec 06 13:09:21 2010 +0100
     1.3 @@ -0,0 +1,55 @@
     1.4 +/* dragon.dat, a hard Paint-By-Numbers puzzle */
     1.5 +
     1.6 +/* To reduce the solution time the clique cuts may be used. */
     1.7 +
     1.8 +data;
     1.9 +
    1.10 +param m := 20;
    1.11 +
    1.12 +param n := 20;
    1.13 +
    1.14 +param row :    1  2  3  4  5 :=
    1.15 +          1    7  1  .  .  .
    1.16 +          2    1  1  2  .  .
    1.17 +          3    2  1  2  .  .
    1.18 +          4    1  2  2  .  .
    1.19 +          5    4  2  3  .  .
    1.20 +          6    3  1  4  .  .
    1.21 +          7    3  1  3  .  .
    1.22 +          8    2  1  4  .  .
    1.23 +          9    2  9  .  .  .
    1.24 +          10   2  1  5  .  .
    1.25 +          11   2  7  .  .  .
    1.26 +          12   14 .  .  .  .
    1.27 +          13   8  2  .  .  .
    1.28 +          14   6  2  2  .  .
    1.29 +          15   2  8  1  3  .
    1.30 +          16   1  5  5  2  .
    1.31 +          17   1  3  2  4  1
    1.32 +          18   3  1  2  4  1
    1.33 +          19   1  1  3  1  3
    1.34 +          20   2  1  1  2  . ;
    1.35 +
    1.36 +param col :    1  2  3  4  5 :=
    1.37 +          1    1  1  1  2  .
    1.38 +          2    3  1  2  1  1
    1.39 +          3    1  4  2  1  1
    1.40 +          4    1  3  2  4  .
    1.41 +          5    1  4  6  1  .
    1.42 +          6    1  11 1  .  .
    1.43 +          7    5  1  6  2  .
    1.44 +          8    14 .  .  .  .
    1.45 +          9    7  2  .  .  .
    1.46 +          10   7  2  .  .  .
    1.47 +          11   6  1  1  .  .
    1.48 +          12   9  2  .  .  .
    1.49 +          13   3  1  1  1  .
    1.50 +          14   3  1  3  .  .
    1.51 +          15   2  1  3  .  .
    1.52 +          16   2  1  5  .  .
    1.53 +          17   3  2  2  .  .
    1.54 +          18   3  3  2  .  .
    1.55 +          19   2  3  2  .  .
    1.56 +          20   2  6  .  .  . ;
    1.57 +
    1.58 +end;