b6026abfcf 2012-07-15        kinaba: import util;
9d4aca73fa 2012-07-14        kinaba: import gui;
9d4aca73fa 2012-07-14        kinaba: import output;
9d4aca73fa 2012-07-14        kinaba: import driver;
9d4aca73fa 2012-07-14        kinaba: import solver;
9d4aca73fa 2012-07-14        kinaba: pragma(lib, "dfl.lib");
9d4aca73fa 2012-07-14        kinaba: 
b6026abfcf 2012-07-15        kinaba: void main(string[] argv)
9d4aca73fa 2012-07-14        kinaba: {
b6026abfcf 2012-07-15        kinaba: 	bool automate = (argv.length>=2 && std.string.indexOf(argv[1],"auto")>=0);
b6026abfcf 2012-07-15        kinaba: 
b6026abfcf 2012-07-15        kinaba: 	auto d = new Driver(stdin);
bd650eb3f9 2012-07-15        kinaba: 	d.addObserver!(GuardedOutput)();
b6026abfcf 2012-07-15        kinaba: 	d.addObserver!(GUI!MainSolver)().run(&d.command, automate);
9d4aca73fa 2012-07-14        kinaba: }