Artifact Content
Not logged in

Artifact 4124e840a1a49af9824b2d71d38959727b90b9fc


     1  import util;
     2  import gui;
     3  import output;
     4  import driver;
     5  import solver;
     6  pragma(lib, "dfl.lib");
     7  
     8  void main(string[] argv)
     9  {
    10  	bool automate = (argv.length>=2 && std.string.indexOf(argv[1],"auto")>=0);
    11  
    12  	auto d = new Driver(stdin);
    13  	d.addObserver!(GuardedOutput)();
    14  	d.addObserver!(GUI!MainSolver)().run(&d.command, automate);
    15  }