Diff
Not logged in

Differences From Artifact [b38d60ea39d11e6e]:

To Artifact [80ad58f91e39ad66]:


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