Artifact 4375fba2fc66f9ab9f47546f756e2ae8cd951f68:
0000: 69 6d 70 6f 72 74 20 75 74 69 6c 3b 0a 69 6d 70 import util;.imp
0010: 6f 72 74 20 67 75 69 3b 0a 69 6d 70 6f 72 74 20 ort gui;.import
0020: 6f 75 74 70 75 74 3b 0a 69 6d 70 6f 72 74 20 64 output;.import d
0030: 72 69 76 65 72 3b 0a 69 6d 70 6f 72 74 20 73 6f river;.import so
0040: 6c 76 65 72 3b 0a 69 6d 70 6f 72 74 20 73 74 64 lver;.import std
0050: 2e 73 74 64 69 6f 3b 0a 70 72 61 67 6d 61 28 6c .stdio;.pragma(l
0060: 69 62 2c 20 22 64 66 6c 2e 6c 69 62 22 29 3b 0a ib, "dfl.lib");.
0070: 0a 76 6f 69 64 20 6d 61 69 6e 28 73 74 72 69 6e .void main(strin
0080: 67 5b 5d 20 61 72 67 76 29 0a 7b 0a 09 62 6f 6f g[] argv).{..boo
0090: 6c 20 61 75 74 6f 6d 61 74 65 20 3d 20 28 61 72 l automate = (ar
00a0: 67 76 2e 6c 65 6e 67 74 68 3e 3d 32 20 26 26 20 gv.length>=2 &&
00b0: 73 74 64 2e 73 74 72 69 6e 67 2e 69 6e 64 65 78 std.string.index
00c0: 4f 66 28 61 72 67 76 5b 31 5d 2c 22 61 75 74 6f Of(argv[1],"auto
00d0: 22 29 3e 3d 30 29 3b 0a 0a 09 61 75 74 6f 20 64 ")>=0);...auto d
00e0: 20 3d 20 6e 65 77 20 44 72 69 76 65 72 28 73 74 = new Driver(st
00f0: 64 69 6e 29 3b 0a 09 64 2e 61 64 64 4f 62 73 65 din);..d.addObse
0100: 72 76 65 72 21 28 47 75 61 72 64 65 64 4f 75 74 rver!(GuardedOut
0110: 70 75 74 29 28 29 3b 0a 09 64 2e 61 64 64 4f 62 put)();..d.addOb
0120: 73 65 72 76 65 72 21 28 47 55 49 21 4d 61 69 6e server!(GUI!Main
0130: 53 6f 6c 76 65 72 29 28 29 2e 72 75 6e 28 26 64 Solver)().run(&d
0140: 2e 63 6f 6d 6d 61 6e 64 2c 20 61 75 74 6f 6d 61 .command, automa
0150: 74 65 29 3b 0a 7d 0a te);.}.