1. 03 Aug, 2016 1 commit
  2. 24 Jun, 2016 1 commit
  3. 22 Jun, 2016 1 commit
  4. 18 Jun, 2016 1 commit
  5. 12 Jun, 2016 1 commit
  6. 11 Jun, 2016 5 commits
  7. 10 Jun, 2016 2 commits
  8. 20 May, 2016 1 commit
  9. 18 May, 2016 1 commit
  10. 05 May, 2016 1 commit
  11. 01 Apr, 2016 1 commit
  12. 24 Mar, 2016 2 commits
  13. 22 Mar, 2016 1 commit
  14. 05 Mar, 2016 1 commit
  15. 06 Feb, 2016 1 commit
  16. 04 Feb, 2016 1 commit
  17. 28 Jan, 2016 1 commit
  18. 09 Jan, 2016 1 commit
  19. 05 Jan, 2016 1 commit
  20. 02 Jan, 2016 1 commit
  21. 01 Jan, 2016 2 commits
  22. 31 Dec, 2015 2 commits
  23. 30 Dec, 2015 4 commits
  24. 25 Jun, 2015 1 commit
  25. 23 Jun, 2015 1 commit
  26. 29 May, 2015 1 commit
    • Morten Welinder's avatar
      Lanczos3: add constraints · 8e21cb68
      Morten Welinder authored
      The model has three identical parts, so there are six optimal solutions.
      Use constraints to force an ordering to match the certified result.
      8e21cb68
  27. 22 Apr, 2015 1 commit
  28. 21 Apr, 2015 2 commits