Laurent Perron
|
6a603cc183
|
[CP-SAT] fix rare crash
|
2026-01-08 13:09:17 +01:00 |
|
Corentin Le Molgat
|
1b4d75ceb3
|
sat: backport from main
|
2025-11-05 13:55:12 +01:00 |
|
Corentin Le Molgat
|
b05315de21
|
sat: backport from main
|
2025-09-22 17:24:20 +02:00 |
|
Laurent Perron
|
e02b6a013c
|
[CP-SAT] update code, mostly small bug fixes
|
2025-08-22 16:06:35 -07:00 |
|
Laurent Perron
|
640aaeb8e0
|
[CP-SAT] lots of bugfixes, improvement to primary variables heuristics; cleanup scheduling cuts code
|
2025-05-14 13:33:20 +02:00 |
|
Corentin Le Molgat
|
c34026b101
|
Bump copyright to 2025
note: done using
```sh
git grep -l "2010-2024 Google" | xargs sed -i 's/2010-2024 Google/2010-2025 Google/'
```
|
2025-01-10 11:33:35 +01:00 |
|
Laurent Perron
|
d8c3e49e5b
|
[CP-SAT] more work on no_overlap_2d; revisit all includes
|
2024-12-04 17:47:10 +01:00 |
|
Laurent Perron
|
c709e98327
|
[CP-SAT] improve 2d packing presolve; improve MIR cuts; rewrite some of the cuts managements
|
2024-09-25 11:21:36 +01:00 |
|
Laurent Perron
|
5f120fd8ee
|
fix test
|
2024-09-24 07:30:57 +02:00 |
|
Corentin Le Molgat
|
838ad4d97a
|
sat: add some _test.cc
|
2024-09-23 11:11:14 +02:00 |
|