Artifact 9f1a8c70cd6a351d14f7692c5e75131e0b2957f7:
Manifest of check-in
[9f1a8c70cd]
- Razor using solver.
by
kinaba on
2012-07-15 02:24:14.
0000: 43 20 52 61 7a 6f 72 5c 73 75 73 69 6e 67 5c 73 C Razor\susing\s
0010: 73 6f 6c 76 65 72 2e 0a 44 20 32 30 31 32 2d 30 solver..D 2012-0
0020: 37 2d 31 35 54 30 32 3a 32 34 3a 31 34 2e 37 34 7-15T02:24:14.74
0030: 39 0a 46 20 69 63 66 70 2d 39 36 35 33 33 36 33 9.F icfp-9653363
0040: 32 2e 74 67 7a 20 39 34 33 33 32 39 63 33 30 30 2.tgz 943329c300
0050: 37 32 39 38 39 66 39 37 33 61 66 36 35 39 32 61 72989f973af6592a
0060: 36 35 63 30 62 37 62 66 61 31 64 39 62 64 0a 46 65c0b7bfa1d9bd.F
0070: 20 6d 61 6b 65 2d 73 75 62 6d 69 73 73 69 6f 6e make-submission
0080: 20 62 64 37 61 39 31 31 63 31 34 31 61 65 35 34 bd7a911c141ae54
0090: 34 64 65 36 64 64 39 30 34 30 64 61 36 39 32 64 4de6dd9040da692d
00a0: 34 31 30 34 31 32 62 33 66 20 78 0a 46 20 6d 61 410412b3f x.F ma
00b0: 70 73 2f 31 30 30 78 31 30 30 2e 6d 61 70 20 35 ps/100x100.map 5
00c0: 62 65 61 66 36 66 61 64 34 31 34 33 38 33 30 31 beaf6fad41438301
00d0: 62 38 61 64 39 65 61 30 31 65 61 36 63 34 36 63 b8ad9ea01ea6c46c
00e0: 34 66 31 37 66 38 31 0a 46 20 6d 61 70 73 2f 62 4f17f81.F maps/b
00f0: 65 61 72 64 31 2e 6d 61 70 20 62 62 36 39 32 36 eard1.map bb6926
0100: 37 39 33 61 35 31 33 31 31 61 34 39 35 35 37 31 793a51311a495571
0110: 36 37 37 61 30 31 61 38 62 34 62 35 38 66 63 31 677a01a8b4b58fc1
0120: 38 30 0a 46 20 6d 61 70 73 2f 62 65 61 72 64 32 80.F maps/beard2
0130: 2e 6d 61 70 20 32 65 39 34 32 30 30 39 63 38 39 .map 2e942009c89
0140: 37 31 37 64 37 35 38 31 62 62 30 37 34 39 38 38 717d7581bb074988
0150: 32 35 63 61 36 35 39 37 35 64 36 39 38 0a 46 20 25ca65975d698.F
0160: 6d 61 70 73 2f 62 65 61 72 64 33 2e 6d 61 70 20 maps/beard3.map
0170: 31 64 63 61 62 33 34 30 34 39 33 38 35 37 64 30 1dcab340493857d0
0180: 30 39 32 38 63 36 31 39 34 39 30 63 39 65 30 64 0928c619490c9e0d
0190: 36 37 35 30 31 62 66 33 0a 46 20 6d 61 70 73 2f 67501bf3.F maps/
01a0: 62 65 61 72 64 34 2e 6d 61 70 20 62 36 32 39 36 beard4.map b6296
01b0: 37 65 62 34 37 61 35 66 35 30 37 30 30 34 37 66 7eb47a5f5070047f
01c0: 37 39 36 66 30 37 32 34 62 61 31 65 32 61 66 33 796f0724ba1e2af3
01d0: 64 38 32 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 d82.F maps/conte
01e0: 73 74 31 2e 6d 61 70 20 65 66 32 31 66 35 39 64 st1.map ef21f59d
01f0: 30 37 32 62 64 65 65 65 38 66 39 36 33 39 37 36 072bdeee8f963976
0200: 63 39 30 66 33 66 32 62 31 64 37 63 63 39 39 65 c90f3f2b1d7cc99e
0210: 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 31 .F maps/contest1
0220: 30 2e 6d 61 70 20 64 30 37 37 36 32 31 38 33 62 0.map d07762183b
0230: 33 65 61 33 65 34 39 31 33 36 34 64 66 39 35 32 3ea3e491364df952
0240: 62 35 36 64 38 30 36 35 61 37 34 62 33 30 0a 46 b56d8065a74b30.F
0250: 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 32 2e 6d maps/contest2.m
0260: 61 70 20 36 61 61 33 37 33 37 65 34 37 39 39 35 ap 6aa3737e47995
0270: 30 63 61 63 37 63 61 36 65 63 62 37 31 38 37 30 0cac7ca6ecb71870
0280: 61 32 38 31 32 63 34 64 35 39 32 0a 46 20 6d 61 a2812c4d592.F ma
0290: 70 73 2f 63 6f 6e 74 65 73 74 33 2e 6d 61 70 20 ps/contest3.map
02a0: 65 36 39 62 33 32 65 35 66 35 35 63 63 33 31 31 e69b32e5f55cc311
02b0: 62 64 34 33 36 31 36 36 63 38 31 66 37 38 64 30 bd436166c81f78d0
02c0: 35 30 37 65 38 39 33 62 0a 46 20 6d 61 70 73 2f 507e893b.F maps/
02d0: 63 6f 6e 74 65 73 74 34 2e 6d 61 70 20 65 35 31 contest4.map e51
02e0: 64 66 33 32 39 36 61 35 32 31 30 37 30 32 66 62 df3296a5210702fb
02f0: 65 62 37 37 64 35 39 30 30 37 64 39 61 35 62 61 eb77d59007d9a5ba
0300: 66 65 61 36 64 0a 46 20 6d 61 70 73 2f 63 6f 6e fea6d.F maps/con
0310: 74 65 73 74 35 2e 6d 61 70 20 30 36 65 65 66 31 test5.map 06eef1
0320: 30 65 66 62 35 39 37 32 35 39 64 33 35 62 31 30 0efb597259d35b10
0330: 35 38 32 64 30 62 39 34 32 61 34 63 62 32 36 30 582d0b942a4cb260
0340: 37 31 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 71.F maps/contes
0350: 74 36 2e 6d 61 70 20 37 36 31 38 39 33 63 32 65 t6.map 761893c2e
0360: 64 64 38 39 38 64 33 62 63 62 36 38 64 33 64 39 dd898d3bcb68d3d9
0370: 32 64 36 32 61 37 66 66 64 36 62 62 65 30 34 0a 2d62a7ffd6bbe04.
0380: 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 37 2e F maps/contest7.
0390: 6d 61 70 20 65 39 63 65 39 35 35 38 37 33 65 65 map e9ce955873ee
03a0: 61 32 63 61 63 31 30 66 66 33 33 39 64 65 62 66 a2cac10ff339debf
03b0: 35 39 38 30 65 31 35 31 64 38 65 61 0a 46 20 6d 5980e151d8ea.F m
03c0: 61 70 73 2f 63 6f 6e 74 65 73 74 38 2e 6d 61 70 aps/contest8.map
03d0: 20 61 33 35 64 66 61 32 39 34 35 38 39 64 61 35 a35dfa294589da5
03e0: 37 37 39 39 30 36 32 31 34 36 61 38 39 38 31 37 7799062146a89817
03f0: 38 32 30 61 61 37 38 31 33 0a 46 20 6d 61 70 73 820aa7813.F maps
0400: 2f 63 6f 6e 74 65 73 74 39 2e 6d 61 70 20 63 61 /contest9.map ca
0410: 33 62 61 36 65 31 32 61 33 62 32 37 62 62 35 63 3ba6e12a3b27bb5c
0420: 66 39 61 34 30 39 36 30 39 62 37 33 62 31 30 35 f9a409609b73b105
0430: 37 66 32 36 61 33 0a 46 20 6d 61 70 73 2f 66 6c 7f26a3.F maps/fl
0440: 6f 6f 64 31 2e 6d 61 70 20 31 33 65 36 33 35 36 ood1.map 13e6356
0450: 63 30 33 32 30 63 35 61 30 31 64 33 36 37 31 35 c0320c5a01d36715
0460: 62 33 31 65 66 61 39 32 34 63 38 34 31 63 61 64 b31efa924c841cad
0470: 65 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 32 2e e.F maps/flood2.
0480: 6d 61 70 20 65 66 63 33 61 38 62 36 30 61 66 34 map efc3a8b60af4
0490: 65 35 37 34 65 38 32 66 34 64 65 33 32 30 37 66 e574e82f4de3207f
04a0: 37 32 37 37 31 35 66 66 36 66 61 31 0a 46 20 6d 727715ff6fa1.F m
04b0: 61 70 73 2f 66 6c 6f 6f 64 33 2e 6d 61 70 20 30 aps/flood3.map 0
04c0: 65 36 39 31 30 36 62 64 31 33 35 35 30 35 33 66 e69106bd1355053f
04d0: 34 66 66 61 35 35 32 31 63 62 62 62 64 30 33 33 4ffa5521cbbbd033
04e0: 32 36 31 30 63 62 65 0a 46 20 6d 61 70 73 2f 66 2610cbe.F maps/f
04f0: 6c 6f 6f 64 34 2e 6d 61 70 20 63 39 63 39 37 64 lood4.map c9c97d
0500: 63 31 61 33 66 37 38 30 66 38 61 31 66 63 35 63 c1a3f780f8a1fc5c
0510: 30 64 31 63 30 38 34 39 39 62 33 66 30 38 35 38 0d1c08499b3f0858
0520: 32 33 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 35 23.F maps/flood5
0530: 2e 6d 61 70 20 63 31 32 36 63 66 61 39 33 39 38 .map c126cfa9398
0540: 33 34 38 31 39 34 65 34 34 35 30 33 36 34 36 61 348194e44503646a
0550: 64 62 37 62 63 30 63 62 35 38 66 37 35 0a 46 20 db7bc0cb58f75.F
0560: 6d 61 70 73 2f 66 75 6e 31 2e 6d 61 70 20 32 66 maps/fun1.map 2f
0570: 37 66 38 37 61 34 64 30 32 63 36 34 34 38 61 61 7f87a4d02c6448aa
0580: 37 31 38 62 37 33 36 64 36 32 33 31 62 36 36 64 718b736d6231b66d
0590: 66 65 61 35 38 61 0a 46 20 6d 61 70 73 2f 74 65 fea58a.F maps/te
05a0: 73 74 31 2e 6d 61 70 20 62 39 61 34 38 64 38 32 st1.map b9a48d82
05b0: 64 36 34 64 65 39 31 62 36 34 64 64 32 37 39 38 d64de91b64dd2798
05c0: 37 35 66 32 33 64 35 30 61 39 32 62 64 66 35 38 75f23d50a92bdf58
05d0: 0a 46 20 6d 61 70 73 2f 74 72 61 6d 70 6f 6c 69 .F maps/trampoli
05e0: 6e 65 31 2e 6d 61 70 20 35 61 66 36 39 37 63 30 ne1.map 5af697c0
05f0: 30 30 33 64 35 35 31 36 63 38 62 30 39 61 66 64 003d5516c8b09afd
0600: 36 63 32 65 62 64 64 32 30 39 66 38 66 64 64 36 6c2ebdd209f8fdd6
0610: 0a 46 20 6d 61 70 73 2f 74 72 61 6d 70 6f 6c 69 .F maps/trampoli
0620: 6e 65 32 2e 6d 61 70 20 32 38 38 66 39 64 30 35 ne2.map 288f9d05
0630: 35 63 32 37 37 37 66 61 64 36 39 61 32 65 65 32 5c2777fad69a2ee2
0640: 32 62 37 33 32 65 31 39 38 33 30 39 36 39 38 64 2b732e198309698d
0650: 0a 46 20 6d 61 70 73 2f 74 72 61 6d 70 6f 6c 69 .F maps/trampoli
0660: 6e 65 33 2e 6d 61 70 20 37 66 63 66 39 30 63 31 ne3.map 7fcf90c1
0670: 63 61 33 37 33 63 34 31 37 66 31 64 66 34 65 61 ca373c417f1df4ea
0680: 38 38 38 32 31 62 37 63 34 63 30 30 61 63 32 35 88821b7c4c00ac25
0690: 0a 46 20 73 63 6f 72 65 5f 6d 65 6d 6f 2e 74 78 .F score_memo.tx
06a0: 74 20 32 32 61 62 33 65 65 65 32 39 36 61 35 30 t 22ab3eee296a50
06b0: 35 63 37 32 66 38 30 61 62 63 39 61 65 66 38 61 5c72f80abc9aef8a
06c0: 36 38 38 32 66 62 65 65 39 39 0a 46 20 73 72 63 6882fbee99.F src
06d0: 2f 63 75 69 5f 61 75 74 6f 5f 6d 61 69 6e 2e 64 /cui_auto_main.d
06e0: 20 62 33 38 64 36 30 65 61 33 39 64 31 31 65 36 b38d60ea39d11e6
06f0: 65 62 38 38 30 63 66 39 31 65 37 33 33 65 64 33 eb880cf91e733ed3
0700: 35 66 63 32 62 37 64 36 33 0a 46 20 73 72 63 2f 5fc2b7d63.F src/
0710: 67 61 6d 65 2e 64 20 35 64 36 62 34 35 63 31 35 game.d 5d6b45c15
0720: 39 65 31 32 35 64 62 38 36 38 64 33 33 39 66 31 9e125db868d339f1
0730: 62 64 30 36 61 65 30 36 31 64 63 37 37 31 61 0a bd06ae061dc771a.
0740: 46 20 73 72 63 2f 67 75 69 2e 64 20 62 30 37 31 F src/gui.d b071
0750: 62 34 34 36 66 36 65 38 33 34 62 39 38 62 63 33 b446f6e834b98bc3
0760: 62 35 30 38 66 63 32 38 66 32 30 61 30 39 32 35 b508fc28f20a0925
0770: 37 35 31 33 0a 46 20 73 72 63 2f 67 75 69 5f 6d 7513.F src/gui_m
0780: 61 69 6e 2e 64 20 30 35 30 38 32 64 30 66 33 32 ain.d 05082d0f32
0790: 38 64 37 35 36 63 35 64 32 34 37 66 35 38 37 32 8d756c5d247f5872
07a0: 35 37 31 32 33 37 37 38 65 65 37 66 61 37 0a 46 57123778ee7fa7.F
07b0: 20 73 72 63 2f 6f 75 74 70 75 74 2e 64 20 36 32 src/output.d 62
07c0: 65 36 30 34 30 37 31 34 34 33 38 65 66 66 31 32 e6040714438eff12
07d0: 37 34 36 34 35 36 66 39 35 35 35 39 30 31 63 31 746456f9555901c1
07e0: 30 65 35 31 64 31 0a 46 20 73 72 63 2f 73 6f 6c 0e51d1.F src/sol
07f0: 76 65 72 2e 64 20 64 66 31 63 61 39 63 38 64 37 ver.d df1ca9c8d7
0800: 65 38 61 64 62 39 30 30 32 35 37 61 32 63 34 37 e8adb900257a2c47
0810: 61 61 62 33 39 37 63 39 33 38 31 33 31 34 0a 46 aab397c9381314.F
0820: 20 73 72 63 2f 75 74 69 6c 2e 64 20 30 36 36 35 src/util.d 0665
0830: 39 37 30 62 34 37 62 61 36 33 65 64 62 31 66 36 970b47ba63edb1f6
0840: 32 64 32 38 66 33 37 36 33 66 62 31 31 32 36 64 2d28f3763fb1126d
0850: 32 63 31 62 0a 46 20 73 75 62 6d 69 73 73 69 6f 2c1b.F submissio
0860: 6e 2f 50 41 43 4b 41 47 45 53 20 64 61 33 39 61 n/PACKAGES da39a
0870: 33 65 65 35 65 36 62 34 62 30 64 33 32 35 35 62 3ee5e6b4b0d3255b
0880: 66 65 66 39 35 36 30 31 38 39 30 61 66 64 38 30 fef95601890afd80
0890: 37 30 39 0a 46 20 73 75 62 6d 69 73 73 69 6f 6e 709.F submission
08a0: 2f 52 45 41 44 4d 45 20 39 63 65 30 36 33 38 35 /README 9ce06385
08b0: 35 66 34 31 66 66 30 35 38 61 37 64 63 64 36 39 5f41ff058a7dcd69
08c0: 30 33 38 36 35 66 30 33 64 33 65 37 35 65 61 63 03865f03d3e75eac
08d0: 0a 46 20 73 75 62 6d 69 73 73 69 6f 6e 2f 69 6e .F submission/in
08e0: 73 74 61 6c 6c 20 62 65 37 37 36 62 63 66 62 63 stall be776bcfbc
08f0: 31 33 66 63 62 66 63 34 61 61 65 61 39 37 39 66 13fcbfc4aaea979f
0900: 37 65 34 64 39 37 38 66 61 37 32 66 37 61 20 78 7e4d978fa72f7a x
0910: 0a 46 20 73 75 62 6d 69 73 73 69 6f 6e 2f 6c 69 .F submission/li
0920: 66 74 65 72 20 35 31 30 33 66 35 35 66 35 33 32 fter 5103f55f532
0930: 33 66 62 33 66 65 63 32 65 65 62 37 62 31 38 66 3fb3fec2eeb7b18f
0940: 66 32 34 30 66 65 33 33 36 38 63 31 34 20 78 0a f240fe3368c14 x.
0950: 50 20 33 34 62 62 64 31 34 63 31 61 32 39 32 33 P 34bbd14c1a2923
0960: 38 61 33 31 34 66 65 65 32 65 39 31 34 65 33 36 8a314fee2e914e36
0970: 65 33 37 36 35 34 34 61 36 66 0a 52 20 36 66 38 e376544a6f.R 6f8
0980: 66 30 38 33 66 35 61 32 66 32 36 36 32 35 61 38 f083f5a2f26625a8
0990: 32 33 39 65 30 65 61 35 34 30 61 33 34 0a 55 20 239e0ea540a34.U
09a0: 6b 69 6e 61 62 61 0a 5a 20 66 61 36 62 31 38 66 kinaba.Z fa6b18f
09b0: 39 36 38 62 32 61 65 35 63 30 39 34 38 65 61 33 968b2ae5c0948ea3
09c0: 62 37 62 63 38 63 30 35 33 0a b7bc8c053.