Laurent Perron
|
8d3645a6cd
|
[CP-SAT] fix vivification bug; more work on encodings
|
2026-01-07 16:18:00 +01:00 |
|
Corentin Le Molgat
|
1b4d75ceb3
|
sat: backport from main
|
2025-11-05 13:55:12 +01:00 |
|
Corentin Le Molgat
|
0db80a34f6
|
sat: backport from main
|
2025-08-06 10:54:53 +02:00 |
|
Corentin Le Molgat
|
4151254eba
|
sat: backport from main
|
2025-07-23 15:04:05 +02:00 |
|
Laurent Perron
|
188cfcbde5
|
[CP-SAT] work on precedences; improve scheduling cuts
|
2025-05-27 14:34:42 +02:00 |
|
Laurent Perron
|
0a5e8db6af
|
[CP-SAT] lots of bugfixes, improvement to primary variables heuristics; cleanup scheduling cuts code
|
2025-05-14 13:34:04 +02:00 |
|
Laurent Perron
|
9845bef9fa
|
[CP-SAT] more presolve
|
2025-04-25 19:04:27 +02:00 |
|