welcome: please sign in
location: attachment:sokoban-input.txt of EncodingsExamples

Attachment 'sokoban-input.txt'

Download

   1 box(col3row2).
   2 box(col4row2).
   3 box(col5row2).
   4 next(1,2).
   5 next(10,11).
   6 next(11,12).
   7 next(12,13).
   8 next(2,3).
   9 next(3,4).
  10 next(4,5).
  11 next(5,6).
  12 next(6,7).
  13 next(7,8).
  14 next(8,9).
  15 next(9,10).
  16 right(col2row2,col3row2).
  17 right(col2row3,col3row3).
  18 right(col2row5,col3row5).
  19 right(col3row1,col4row1).
  20 right(col3row2,col4row2).
  21 right(col3row3,col4row3).
  22 right(col3row5,col4row5).
  23 right(col4row1,col5row1).
  24 right(col4row2,col5row2).
  25 right(col4row4,col5row4).
  26 right(col4row5,col5row5).
  27 right(col5row2,col6row2).
  28 right(col5row4,col6row4).
  29 sokoban(col3row1).
  30 solution(col2row3).
  31 solution(col4row2).
  32 solution(col4row4).
  33 step(1).
  34 step(10).
  35 step(11).
  36 step(12).
  37 step(13).
  38 step(2).
  39 step(3).
  40 step(4).
  41 step(5).
  42 step(6).
  43 step(7).
  44 step(8).
  45 step(9).
  46 top(col2row3,col2row2).
  47 top(col2row4,col2row3).
  48 top(col2row5,col2row4).
  49 top(col3row2,col3row1).
  50 top(col3row3,col3row2).
  51 top(col4row2,col4row1).
  52 top(col4row3,col4row2).
  53 top(col4row4,col4row3).
  54 top(col4row5,col4row4).
  55 top(col5row2,col5row1).
  56 top(col5row5,col5row4).
  57 top(col6row3,col6row2).
  58 top(col6row4,col6row3).

Attached Files

You are not allowed to attach a file to this page.