Diff
Not logged in

Differences From Artifact [80ad58f91e39ad66]:

To Artifact [b38d60ea39d11e6e]:


14 14 fin = finished; 15 15 } 16 16 } 17 17 18 18 void main(string[] args) 19 19 { 20 20 Driver d = new Driver(stdin); 21 -// d.addObserver!(GuardedOutput)(); 22 - d.addObserver!(StdOutput)(); 23 -// auto c = d.addObserver!(CUI!MainSolver)(); 24 - auto c = d.addObserver!(CUI!Solver_0)(); 21 + d.addObserver!(GuardedOutput)(); 22 + auto c = d.addObserver!(CUI!MainSolver)(); 25 23 while(!c.fin) 26 24 d.command(c.solver.single_step()); 27 25 }