Artifact Content
Not logged in

Artifact 4124e840a1a49af9824b2d71d38959727b90b9fc


import util;
import gui;
import output;
import driver;
import solver;
pragma(lib, "dfl.lib");

void main(string[] argv)
{
	bool automate = (argv.length>=2 && std.string.indexOf(argv[1],"auto")>=0);

	auto d = new Driver(stdin);
	d.addObserver!(GuardedOutput)();
	d.addObserver!(GUI!MainSolver)().run(&d.command, automate);
}