1. 09 Mar, 2016 2 commits
  2. 02 Mar, 2016 2 commits
  3. 01 Mar, 2016 2 commits
    • Thomas Schiex's avatar
      More refactoring. Now larger problems need to be tested. · ad968e06
      Thomas Schiex authored
      - DAC enforcing separated from best assignment builder
      - DAC detects that it broke the current primal
      - findBestAssignment becomes updatePrimal
      - UpdatePrimal/ComputeUb called only if primal broken by DAC
      - pruning only if c0 increases or ub decreases
      ad968e06
    • Thomas Schiex's avatar
      Some bug corrections and refactoring. Please pull. · 648af73b
      Thomas Schiex authored
       - The UB was incorrect (missed c0)
       - DaclrVariable refactored: no variable index, no reference to Daclr class
       - std::ostream &operator<< for variables and cost functions
       - optimality proof detected if all values removed
      648af73b
  4. 29 Feb, 2016 1 commit
  5. 25 Feb, 2016 4 commits
  6. 17 Feb, 2016 2 commits
  7. 16 Feb, 2016 1 commit
  8. 16 Dec, 2015 1 commit
  9. 19 Nov, 2015 2 commits
  10. 13 Nov, 2015 1 commit
  11. 13 Oct, 2015 1 commit
  12. 10 Oct, 2015 1 commit
  13. 05 Oct, 2015 1 commit
  14. 26 Sep, 2015 1 commit
  15. 25 Sep, 2015 1 commit
  16. 18 Sep, 2015 1 commit
  17. 14 Sep, 2015 1 commit
  18. 12 Aug, 2015 1 commit
  19. 02 Apr, 2015 2 commits
  20. 19 Mar, 2015 1 commit
  21. 03 Feb, 2015 10 commits
  22. 30 Jan, 2015 1 commit