1. 22 Oct, 2012 17 commits
  2. 19 Oct, 2012 22 commits
  3. 18 Oct, 2012 1 commit
    • Łukasz Nowak's avatar
      Separate divergence checking and solving. · 92acd9c9
      Łukasz Nowak authored
      Check divergence (for calculating and building) really often and while checking only move to one of possible states (solved or diverged).
      
      For diverged ones try rarely to solve divergence automatically.
      92acd9c9