lemon-project-template-glpk

diff deps/glpk/examples/pbn/9dom.dat @ 9:33de93886c88

Import GLPK 4.47
author Alpar Juttner <alpar@cs.elte.hu>
date Sun, 06 Nov 2011 20:59:10 +0100
parents
children
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/deps/glpk/examples/pbn/9dom.dat	Sun Nov 06 20:59:10 2011 +0100
     1.3 @@ -0,0 +1,65 @@
     1.4 +/* 9dom.dat */
     1.5 +
     1.6 +/***********************************************************************
     1.7 +*  Web Paint-by-Number Puzzle #8098 from <www.webpbn.com>.
     1.8 +*  Copyright (C) 2010 by Josh Greifer. Used by permission.
     1.9 +*
    1.10 +*  Domino Logic III (Abstract pattern)
    1.11 +*
    1.12 +*  created by Josh Greifer
    1.13 +*  Apr 5, 2010
    1.14 +*
    1.15 +*  Encoded in GNU MathProg by Andrew Makhorin <mao@gnu.org>.
    1.16 +***********************************************************************/
    1.17 +
    1.18 +data;
    1.19 +
    1.20 +param m := 19;
    1.21 +
    1.22 +param n := 19;
    1.23 +
    1.24 +param row : 1  2  :=
    1.25 +      1     3  .
    1.26 +      2     1  .
    1.27 +      3     3  1
    1.28 +      4     1  .
    1.29 +      5     3  1
    1.30 +      6     1  .
    1.31 +      7     3  1
    1.32 +      8     1  .
    1.33 +      9     3  1
    1.34 +      10    1  .
    1.35 +      11    3  1
    1.36 +      12    1  .
    1.37 +      13    3  1
    1.38 +      14    1  .
    1.39 +      15    3  1
    1.40 +      16    1  .
    1.41 +      17    3  1
    1.42 +      18    1  .
    1.43 +      19    1  .
    1.44 +;
    1.45 +
    1.46 +param col : 1  2  :=
    1.47 +      1     1  .
    1.48 +      2     1  .
    1.49 +      3     1  3
    1.50 +      4     1  .
    1.51 +      5     1  3
    1.52 +      6     1  .
    1.53 +      7     1  3
    1.54 +      8     1  .
    1.55 +      9     1  3
    1.56 +      10    1  .
    1.57 +      11    1  3
    1.58 +      12    1  .
    1.59 +      13    1  3
    1.60 +      14    1  .
    1.61 +      15    1  3
    1.62 +      16    1  .
    1.63 +      17    1  3
    1.64 +      18    1  .
    1.65 +      19    3  .
    1.66 +;
    1.67 +
    1.68 +end;