1. 23 Jun, 2021 1 commit
  2. 20 Jun, 2021 1 commit
  3. 17 Mar, 2021 3 commits
  4. 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
  5. 05 May, 2020 3 commits
  6. 06 Feb, 2020 1 commit
  7. 04 Feb, 2020 4 commits
  8. 03 Feb, 2020 9 commits
  9. 01 Feb, 2020 1 commit
  10. 31 Jan, 2020 1 commit
  11. 30 Jan, 2020 2 commits
  12. 17 Jan, 2020 2 commits
  13. 16 Jan, 2020 5 commits
  14. 14 Jan, 2020 1 commit
  15. 13 Jan, 2020 3 commits
  16. 10 Jan, 2020 1 commit
  17. 08 Jan, 2020 1 commit