Laurent Perron
|
562ffd7eed
|
[CP-SAT] more work on lrat; cleanup memory management in scheduling clauses; improve encoded only variable expansion; fix a few bugs
|
2025-12-15 13:07:29 +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 |
|
Mizux Seiha
|
4f381f6d07
|
backport from main:
* bump abseil to 20250814
* bump protobuf to v32.0
* cmake: add ccache auto support
* backport flatzinc, math_opt and sat update
|
2025-09-16 16:25:04 +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
|
b28b0625f9
|
[CP-SAT] use precedences in completion time cuts; improve glue clause sharing
|
2025-05-16 16:48:11 +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 |
|
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
|
c930dd656e
|
[CP-SAT] check the time limit more frequently; experimental support for lp folding; more pedantic tests in presolve
|
2024-10-16 14:13:02 +02:00 |
|
Corentin Le Molgat
|
ef8716241a
|
backport from main
|
2024-10-01 12:48:20 +02:00 |
|