Artifact e784787a7cf76942f1d1c224492367dde70ac830:

Manifest of check-in [e784787a7c] - Renamed solvers. by kinaba on 2012-07-16 04:28:04.

---

0000: 43 20 52 65 6e 61 6d 65 64 5c 73 73 6f 6c 76 65  C Renamed\ssolve
0010: 72 73 2e 0a 44 20 32 30 31 32 2d 30 37 2d 31 36  rs..D 2012-07-16
0020: 54 30 34 3a 32 38 3a 30 34 2e 37 35 38 0a 46 20  T04:28:04.758.F 
0030: 69 63 66 70 2d 39 36 35 33 33 36 33 32 2e 74 67  icfp-96533632.tg
0040: 7a 20 39 34 33 33 32 39 63 33 30 30 37 32 39 38  z 943329c3007298
0050: 39 66 39 37 33 61 66 36 35 39 32 61 36 35 63 30  9f973af6592a65c0
0060: 62 37 62 66 61 31 64 39 62 64 0a 46 20 6d 61 6b  b7bfa1d9bd.F mak
0070: 65 2d 73 75 62 6d 69 73 73 69 6f 6e 20 62 64 37  e-submission bd7
0080: 61 39 31 31 63 31 34 31 61 65 35 34 34 64 65 36  a911c141ae544de6
0090: 64 64 39 30 34 30 64 61 36 39 32 64 34 31 30 34  dd9040da692d4104
00a0: 31 32 62 33 66 20 78 0a 46 20 6d 61 70 73 2f 31  12b3f x.F maps/1
00b0: 30 30 30 78 31 30 30 30 2e 6d 61 70 20 34 30 33  000x1000.map 403
00c0: 33 35 66 31 37 64 62 65 64 39 36 31 66 38 35 65  35f17dbed961f85e
00d0: 66 65 65 63 66 62 61 37 34 64 34 32 37 30 38 38  feecfba74d427088
00e0: 66 61 64 38 32 0a 46 20 6d 61 70 73 2f 31 30 30  fad82.F maps/100
00f0: 78 31 30 30 2e 6d 61 70 20 35 62 65 61 66 36 66  x100.map 5beaf6f
0100: 61 64 34 31 34 33 38 33 30 31 62 38 61 64 39 65  ad41438301b8ad9e
0110: 61 30 31 65 61 36 63 34 36 63 34 66 31 37 66 38  a01ea6c46c4f17f8
0120: 31 0a 46 20 6d 61 70 73 2f 34 30 78 34 30 2e 6d  1.F maps/40x40.m
0130: 61 70 20 30 36 64 63 33 36 32 65 66 31 36 66 34  ap 06dc362ef16f4
0140: 32 35 64 64 30 31 64 35 65 66 31 31 35 33 31 31  25dd01d5ef115311
0150: 62 32 61 37 62 33 36 39 66 65 30 0a 46 20 6d 61  b2a7b369fe0.F ma
0160: 70 73 2f 38 30 78 36 30 2e 6d 61 70 20 62 32 32  ps/80x60.map b22
0170: 65 30 64 30 66 35 63 36 38 38 65 64 34 31 37 33  e0d0f5c688ed4173
0180: 66 66 64 35 34 33 30 65 66 64 62 31 35 33 63 64  ffd5430efdb153cd
0190: 64 36 36 34 61 0a 46 20 6d 61 70 73 2f 62 65 61  d664a.F maps/bea
01a0: 72 64 31 2e 6d 61 70 20 62 62 36 39 32 36 37 39  rd1.map bb692679
01b0: 33 61 35 31 33 31 31 61 34 39 35 35 37 31 36 37  3a51311a49557167
01c0: 37 61 30 31 61 38 62 34 62 35 38 66 63 31 38 30  7a01a8b4b58fc180
01d0: 0a 46 20 6d 61 70 73 2f 62 65 61 72 64 32 2e 6d  .F maps/beard2.m
01e0: 61 70 20 32 65 39 34 32 30 30 39 63 38 39 37 31  ap 2e942009c8971
01f0: 37 64 37 35 38 31 62 62 30 37 34 39 38 38 32 35  7d7581bb07498825
0200: 63 61 36 35 39 37 35 64 36 39 38 0a 46 20 6d 61  ca65975d698.F ma
0210: 70 73 2f 62 65 61 72 64 33 2e 6d 61 70 20 31 64  ps/beard3.map 1d
0220: 63 61 62 33 34 30 34 39 33 38 35 37 64 30 30 39  cab340493857d009
0230: 32 38 63 36 31 39 34 39 30 63 39 65 30 64 36 37  28c619490c9e0d67
0240: 35 30 31 62 66 33 0a 46 20 6d 61 70 73 2f 62 65  501bf3.F maps/be
0250: 61 72 64 34 2e 6d 61 70 20 62 36 32 39 36 37 65  ard4.map b62967e
0260: 62 34 37 61 35 66 35 30 37 30 30 34 37 66 37 39  b47a5f5070047f79
0270: 36 66 30 37 32 34 62 61 31 65 32 61 66 33 64 38  6f0724ba1e2af3d8
0280: 32 0a 46 20 6d 61 70 73 2f 62 65 61 72 64 35 2e  2.F maps/beard5.
0290: 6d 61 70 20 37 36 33 39 66 63 64 63 66 33 36 37  map 7639fcdcf367
02a0: 30 35 65 31 62 66 35 38 32 34 65 33 32 38 66 66  05e1bf5824e328ff
02b0: 33 63 65 33 62 30 65 31 30 39 61 34 0a 46 20 6d  3ce3b0e109a4.F m
02c0: 61 70 73 2f 63 6f 6e 74 65 73 74 31 2e 6d 61 70  aps/contest1.map
02d0: 20 65 66 32 31 66 35 39 64 30 37 32 62 64 65 65   ef21f59d072bdee
02e0: 65 38 66 39 36 33 39 37 36 63 39 30 66 33 66 32  e8f963976c90f3f2
02f0: 62 31 64 37 63 63 39 39 65 0a 46 20 6d 61 70 73  b1d7cc99e.F maps
0300: 2f 63 6f 6e 74 65 73 74 31 30 2e 6d 61 70 20 64  /contest10.map d
0310: 30 37 37 36 32 31 38 33 62 33 65 61 33 65 34 39  07762183b3ea3e49
0320: 31 33 36 34 64 66 39 35 32 62 35 36 64 38 30 36  1364df952b56d806
0330: 35 61 37 34 62 33 30 0a 46 20 6d 61 70 73 2f 63  5a74b30.F maps/c
0340: 6f 6e 74 65 73 74 32 2e 6d 61 70 20 36 61 61 33  ontest2.map 6aa3
0350: 37 33 37 65 34 37 39 39 35 30 63 61 63 37 63 61  737e479950cac7ca
0360: 36 65 63 62 37 31 38 37 30 61 32 38 31 32 63 34  6ecb71870a2812c4
0370: 64 35 39 32 0a 46 20 6d 61 70 73 2f 63 6f 6e 74  d592.F maps/cont
0380: 65 73 74 33 2e 6d 61 70 20 65 36 39 62 33 32 65  est3.map e69b32e
0390: 35 66 35 35 63 63 33 31 31 62 64 34 33 36 31 36  5f55cc311bd43616
03a0: 36 63 38 31 66 37 38 64 30 35 30 37 65 38 39 33  6c81f78d0507e893
03b0: 62 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74  b.F maps/contest
03c0: 34 2e 6d 61 70 20 65 35 31 64 66 33 32 39 36 61  4.map e51df3296a
03d0: 35 32 31 30 37 30 32 66 62 65 62 37 37 64 35 39  5210702fbeb77d59
03e0: 30 30 37 64 39 61 35 62 61 66 65 61 36 64 0a 46  007d9a5bafea6d.F
03f0: 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 35 2e 6d   maps/contest5.m
0400: 61 70 20 30 36 65 65 66 31 30 65 66 62 35 39 37  ap 06eef10efb597
0410: 32 35 39 64 33 35 62 31 30 35 38 32 64 30 62 39  259d35b10582d0b9
0420: 34 32 61 34 63 62 32 36 30 37 31 0a 46 20 6d 61  42a4cb26071.F ma
0430: 70 73 2f 63 6f 6e 74 65 73 74 36 2e 6d 61 70 20  ps/contest6.map 
0440: 37 36 31 38 39 33 63 32 65 64 64 38 39 38 64 33  761893c2edd898d3
0450: 62 63 62 36 38 64 33 64 39 32 64 36 32 61 37 66  bcb68d3d92d62a7f
0460: 66 64 36 62 62 65 30 34 0a 46 20 6d 61 70 73 2f  fd6bbe04.F maps/
0470: 63 6f 6e 74 65 73 74 37 2e 6d 61 70 20 65 39 63  contest7.map e9c
0480: 65 39 35 35 38 37 33 65 65 61 32 63 61 63 31 30  e955873eea2cac10
0490: 66 66 33 33 39 64 65 62 66 35 39 38 30 65 31 35  ff339debf5980e15
04a0: 31 64 38 65 61 0a 46 20 6d 61 70 73 2f 63 6f 6e  1d8ea.F maps/con
04b0: 74 65 73 74 38 2e 6d 61 70 20 61 33 35 64 66 61  test8.map a35dfa
04c0: 32 39 34 35 38 39 64 61 35 37 37 39 39 30 36 32  294589da57799062
04d0: 31 34 36 61 38 39 38 31 37 38 32 30 61 61 37 38  146a89817820aa78
04e0: 31 33 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73  13.F maps/contes
04f0: 74 39 2e 6d 61 70 20 63 61 33 62 61 36 65 31 32  t9.map ca3ba6e12
0500: 61 33 62 32 37 62 62 35 63 66 39 61 34 30 39 36  a3b27bb5cf9a4096
0510: 30 39 62 37 33 62 31 30 35 37 66 32 36 61 33 0a  09b73b1057f26a3.
0520: 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 31 2e 6d 61  F maps/flood1.ma
0530: 70 20 31 33 65 36 33 35 36 63 30 33 32 30 63 35  p 13e6356c0320c5
0540: 61 30 31 64 33 36 37 31 35 62 33 31 65 66 61 39  a01d36715b31efa9
0550: 32 34 63 38 34 31 63 61 64 65 0a 46 20 6d 61 70  24c841cade.F map
0560: 73 2f 66 6c 6f 6f 64 32 2e 6d 61 70 20 65 66 63  s/flood2.map efc
0570: 33 61 38 62 36 30 61 66 34 65 35 37 34 65 38 32  3a8b60af4e574e82
0580: 66 34 64 65 33 32 30 37 66 37 32 37 37 31 35 66  f4de3207f727715f
0590: 66 36 66 61 31 0a 46 20 6d 61 70 73 2f 66 6c 6f  f6fa1.F maps/flo
05a0: 6f 64 33 2e 6d 61 70 20 30 65 36 39 31 30 36 62  od3.map 0e69106b
05b0: 64 31 33 35 35 30 35 33 66 34 66 66 61 35 35 32  d1355053f4ffa552
05c0: 31 63 62 62 62 64 30 33 33 32 36 31 30 63 62 65  1cbbbd0332610cbe
05d0: 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 34 2e 6d  .F maps/flood4.m
05e0: 61 70 20 63 39 63 39 37 64 63 31 61 33 66 37 38  ap c9c97dc1a3f78
05f0: 30 66 38 61 31 66 63 35 63 30 64 31 63 30 38 34  0f8a1fc5c0d1c084
0600: 39 39 62 33 66 30 38 35 38 32 33 0a 46 20 6d 61  99b3f085823.F ma
0610: 70 73 2f 66 6c 6f 6f 64 35 2e 6d 61 70 20 63 31  ps/flood5.map c1
0620: 32 36 63 66 61 39 33 39 38 33 34 38 31 39 34 65  26cfa9398348194e
0630: 34 34 35 30 33 36 34 36 61 64 62 37 62 63 30 63  44503646adb7bc0c
0640: 62 35 38 66 37 35 0a 46 20 6d 61 70 73 2f 66 75  b58f75.F maps/fu
0650: 6e 31 2e 6d 61 70 20 32 66 37 66 38 37 61 34 64  n1.map 2f7f87a4d
0660: 30 32 63 36 34 34 38 61 61 37 31 38 62 37 33 36  02c6448aa718b736
0670: 64 36 32 33 31 62 36 36 64 66 65 61 35 38 61 0a  d6231b66dfea58a.
0680: 46 20 6d 61 70 73 2f 68 6f 72 6f 63 6b 31 2e 6d  F maps/horock1.m
0690: 61 70 20 37 65 32 35 66 30 37 62 61 64 36 30 37  ap 7e25f07bad607
06a0: 61 62 30 62 30 31 66 66 33 65 35 65 31 30 38 66  ab0b01ff3e5e108f
06b0: 65 35 36 33 39 64 39 35 62 36 31 0a 46 20 6d 61  e5639d95b61.F ma
06c0: 70 73 2f 68 6f 72 6f 63 6b 32 2e 6d 61 70 20 32  ps/horock2.map 2
06d0: 66 62 32 35 32 37 32 65 66 39 33 31 34 65 61 63  fb25272ef9314eac
06e0: 38 36 30 65 64 61 32 66 32 66 34 32 64 38 34 64  860eda2f2f42d84d
06f0: 33 39 62 62 31 61 63 0a 46 20 6d 61 70 73 2f 68  39bb1ac.F maps/h
0700: 6f 72 6f 63 6b 33 2e 6d 61 70 20 64 38 30 61 66  orock3.map d80af
0710: 30 66 36 31 35 33 64 38 32 30 38 31 65 35 35 63  0f6153d82081e55c
0720: 30 65 63 36 63 65 64 30 61 64 63 37 64 30 34 36  0ec6ced0adc7d046
0730: 36 65 62 0a 46 20 6d 61 70 73 2f 74 65 73 74 31  6eb.F maps/test1
0740: 2e 6d 61 70 20 62 39 61 34 38 64 38 32 64 36 34  .map b9a48d82d64
0750: 64 65 39 31 62 36 34 64 64 32 37 39 38 37 35 66  de91b64dd279875f
0760: 32 33 64 35 30 61 39 32 62 64 66 35 38 0a 46 20  23d50a92bdf58.F 
0770: 6d 61 70 73 2f 74 65 73 74 32 2e 6d 61 70 20 36  maps/test2.map 6
0780: 30 33 33 34 30 36 31 63 33 33 64 36 31 30 34 39  0334061c33d61049
0790: 66 63 34 61 35 63 34 39 34 38 39 37 31 65 62 35  fc4a5c4948971eb5
07a0: 31 38 32 35 64 64 34 0a 46 20 6d 61 70 73 2f 74  1825dd4.F maps/t
07b0: 65 73 74 33 2e 6d 61 70 20 31 65 39 36 31 31 36  est3.map 1e96116
07c0: 34 32 38 34 32 33 62 37 33 37 36 65 61 33 63 39  428423b7376ea3c9
07d0: 35 34 63 35 31 63 38 35 39 34 38 33 66 36 31 33  54c51c859483f613
07e0: 35 0a 46 20 6d 61 70 73 2f 74 72 61 6d 70 6f 6c  5.F maps/trampol
07f0: 69 6e 65 31 2e 6d 61 70 20 35 61 66 36 39 37 63  ine1.map 5af697c
0800: 30 30 30 33 64 35 35 31 36 63 38 62 30 39 61 66  0003d5516c8b09af
0810: 64 36 63 32 65 62 64 64 32 30 39 66 38 66 64 64  d6c2ebdd209f8fdd
0820: 36 0a 46 20 6d 61 70 73 2f 74 72 61 6d 70 6f 6c  6.F maps/trampol
0830: 69 6e 65 32 2e 6d 61 70 20 32 38 38 66 39 64 30  ine2.map 288f9d0
0840: 35 35 63 32 37 37 37 66 61 64 36 39 61 32 65 65  55c2777fad69a2ee
0850: 32 32 62 37 33 32 65 31 39 38 33 30 39 36 39 38  22b732e198309698
0860: 64 0a 46 20 6d 61 70 73 2f 74 72 61 6d 70 6f 6c  d.F maps/trampol
0870: 69 6e 65 33 2e 6d 61 70 20 37 66 63 66 39 30 63  ine3.map 7fcf90c
0880: 31 63 61 33 37 33 63 34 31 37 66 31 64 66 34 65  1ca373c417f1df4e
0890: 61 38 38 38 32 31 62 37 63 34 63 30 30 61 63 32  a88821b7c4c00ac2
08a0: 35 0a 46 20 73 63 6f 72 65 5f 6d 65 6d 6f 2e 74  5.F score_memo.t
08b0: 78 74 20 38 30 63 33 37 63 31 30 61 33 62 30 61  xt 80c37c10a3b0a
08c0: 34 32 33 32 66 30 30 64 30 34 30 62 39 36 63 66  4232f00d040b96cf
08d0: 38 65 65 63 38 63 62 61 36 61 31 0a 46 20 73 72  8eec8cba6a1.F sr
08e0: 63 2f 4d 61 6b 65 66 69 6c 65 20 64 65 30 38 35  c/Makefile de085
08f0: 62 38 30 35 35 32 35 33 36 34 30 32 66 31 65 66  b80552536402f1ef
0900: 33 65 33 39 35 31 37 36 61 39 64 39 34 64 36 66  3e395176a9d94d6f
0910: 62 63 38 0a 46 20 73 72 63 2f 64 72 69 76 65 72  bc8.F src/driver
0920: 2e 64 20 33 64 31 35 66 66 32 30 65 37 36 31 36  .d 3d15ff20e7616
0930: 34 62 38 33 31 30 31 64 30 65 62 62 39 38 65 36  4b83101d0ebb98e6
0940: 66 36 63 36 34 64 65 31 62 31 62 0a 46 20 73 72  f6c64de1b1b.F sr
0950: 63 2f 67 61 6d 65 2e 64 20 64 39 62 66 33 65 61  c/game.d d9bf3ea
0960: 31 32 39 63 37 63 62 63 35 33 62 64 66 61 38 37  129c7cbc53bdfa87
0970: 62 36 61 32 39 30 61 34 66 30 38 66 64 30 38 34  b6a290a4f08fd084
0980: 35 0a 46 20 73 72 63 2f 67 75 69 2e 64 20 39 33  5.F src/gui.d 93
0990: 64 39 66 35 66 32 36 31 66 37 31 64 32 63 63 64  d9f5f261f71d2ccd
09a0: 33 37 38 32 34 34 37 39 33 62 32 38 31 63 38 66  378244793b281c8f
09b0: 63 34 64 38 64 65 0a 46 20 73 72 63 2f 67 75 69  c4d8de.F src/gui
09c0: 5f 6d 61 69 6e 2e 64 20 34 31 32 34 65 38 34 30  _main.d 4124e840
09d0: 61 31 61 34 39 61 66 39 38 32 34 62 32 64 37 31  a1a49af9824b2d71
09e0: 64 33 38 39 35 39 37 32 37 62 39 30 62 39 66 63  d38959727b90b9fc
09f0: 0a 46 20 73 72 63 2f 6d 61 69 6e 2e 64 20 66 36  .F src/main.d f6
0a00: 63 61 62 35 63 32 33 63 35 63 62 61 31 65 30 66  cab5c23c5cba1e0f
0a10: 30 64 39 33 39 34 65 64 64 30 65 30 62 66 36 35  0d9394edd0e0bf65
0a20: 30 63 33 30 32 32 0a 46 20 73 72 63 2f 6f 75 74  0c3022.F src/out
0a30: 70 75 74 2e 64 20 39 35 65 64 34 32 61 32 64 38  put.d 95ed42a2d8
0a40: 39 65 31 66 65 66 39 61 33 37 61 37 36 63 31 34  9e1fef9a37a76c14
0a50: 64 63 31 64 62 37 35 35 32 31 31 34 39 32 0a 46  dc1db755211492.F
0a60: 20 73 72 63 2f 73 6f 6c 76 65 72 2e 64 20 65 65   src/solver.d ee
0a70: 37 36 36 32 31 61 62 37 31 38 38 37 31 34 30 62  76621ab71887140b
0a80: 63 31 61 39 35 33 32 64 35 66 64 62 62 30 30 33  c1a9532d5fdbb003
0a90: 36 35 34 61 34 63 0a 46 20 73 72 63 2f 75 74 69  654a4c.F src/uti
0aa0: 6c 2e 64 20 34 31 62 61 34 32 30 64 30 63 34 39  l.d 41ba420d0c49
0ab0: 63 65 38 64 62 33 66 33 30 65 32 65 31 63 33 39  ce8db3f30e2e1c39
0ac0: 64 39 66 39 62 66 33 61 61 39 34 62 0a 46 20 73  d9f9bf3aa94b.F s
0ad0: 75 62 6d 69 73 73 69 6f 6e 2f 50 41 43 4b 41 47  ubmission/PACKAG
0ae0: 45 53 20 64 61 33 39 61 33 65 65 35 65 36 62 34  ES da39a3ee5e6b4
0af0: 62 30 64 33 32 35 35 62 66 65 66 39 35 36 30 31  b0d3255bfef95601
0b00: 38 39 30 61 66 64 38 30 37 30 39 0a 46 20 73 75  890afd80709.F su
0b10: 62 6d 69 73 73 69 6f 6e 2f 52 45 41 44 4d 45 20  bmission/README 
0b20: 39 63 65 30 36 33 38 35 35 66 34 31 66 66 30 35  9ce063855f41ff05
0b30: 38 61 37 64 63 64 36 39 30 33 38 36 35 66 30 33  8a7dcd6903865f03
0b40: 64 33 65 37 35 65 61 63 0a 46 20 73 75 62 6d 69  d3e75eac.F submi
0b50: 73 73 69 6f 6e 2f 69 6e 73 74 61 6c 6c 20 62 65  ssion/install be
0b60: 37 37 36 62 63 66 62 63 31 33 66 63 62 66 63 34  776bcfbc13fcbfc4
0b70: 61 61 65 61 39 37 39 66 37 65 34 64 39 37 38 66  aaea979f7e4d978f
0b80: 61 37 32 66 37 61 20 78 0a 46 20 73 75 62 6d 69  a72f7a x.F submi
0b90: 73 73 69 6f 6e 2f 6c 69 66 74 65 72 20 35 31 30  ssion/lifter 510
0ba0: 33 66 35 35 66 35 33 32 33 66 62 33 66 65 63 32  3f55f5323fb3fec2
0bb0: 65 65 62 37 62 31 38 66 66 32 34 30 66 65 33 33  eeb7b18ff240fe33
0bc0: 36 38 63 31 34 20 78 0a 50 20 31 31 31 30 65 32  68c14 x.P 1110e2
0bd0: 66 39 33 32 38 31 30 62 65 61 38 32 33 63 64 37  f932810bea823cd7
0be0: 61 37 38 33 64 62 64 62 66 31 66 35 64 66 33 33  a783dbdbf1f5df33
0bf0: 31 63 0a 52 20 38 30 36 66 38 33 64 35 35 38 36  1c.R 806f83d5586
0c00: 65 66 31 35 30 65 65 65 64 33 39 63 34 61 38 61  ef150eeed39c4a8a
0c10: 36 64 36 30 35 0a 55 20 6b 69 6e 61 62 61 0a 5a  6d605.U kinaba.Z
0c20: 20 66 39 31 33 62 37 39 38 65 62 62 65 33 32 62   f913b798ebbe32b
0c30: 39 39 38 66 36 63 31 39 35 30 39 35 36 64 36 62  998f6c1950956d6b
0c40: 33 0a                                            3.