1. 17 Mar, 2021 3 commits
  2. 06 May, 2020 1 commit
    • Gauthier Quesnel's avatar
      solver-z: rewrite runtime solver selection · d58c1819
      Gauthier Quesnel authored
      Previously, only the exhaustive solver was used and could lead to NOEM.
      This patch allows to switches from B&B solver, exhaustive solver and a
      local greedy solver according to the complexity of the constraint.
      
      (Reference: #35).
      d58c1819
  3. 05 May, 2020 3 commits
  4. 06 Feb, 2020 1 commit
  5. 04 Feb, 2020 4 commits
  6. 03 Feb, 2020 9 commits
  7. 01 Feb, 2020 1 commit
  8. 31 Jan, 2020 1 commit
  9. 30 Jan, 2020 2 commits
  10. 17 Jan, 2020 2 commits
  11. 16 Jan, 2020 5 commits
  12. 14 Jan, 2020 1 commit
  13. 13 Jan, 2020 3 commits
  14. 10 Jan, 2020 1 commit
  15. 08 Jan, 2020 2 commits
  16. 07 Jan, 2020 1 commit