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
|
b4b226801b
|
update include guards
|
2025-11-05 11:54:02 +01:00 |
|
Corentin Le Molgat
|
b05315de21
|
sat: backport from main
|
2025-09-22 17:24:20 +02: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 |
|
Laurent Perron
|
3a73fa1b3e
|
[CP-SAT] fix cumulative cuts
|
2025-02-06 16:52:23 +01:00 |
|
Laurent Perron
|
54b8c24839
|
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
|
2025-01-15 13:51:40 +01:00 |
|
Corentin Le Molgat
|
a66a6daac7
|
Bump Copyright to 2025
|
2025-01-10 11:35:44 +01:00 |
|
Laurent Perron
|
dba2281f13
|
[CP-SAT] more work on no_overlap_2d; revisit all includes
|
2024-12-04 17:47:28 +01:00 |
|
Laurent Perron
|
df97cd5776
|
[CP-SAT] reorganize code
|
2024-11-29 14:30:29 +01:00 |
|