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 |
|
Laurent Perron
|
cd37bacd2a
|
backport sat from main
|
2025-11-24 16:26:34 +01:00 |
|
Laurent Perron
|
72d75ca109
|
[CP-SAT] work on lrat; better expansion of variables only appearing in encoding constraints
|
2025-11-18 16:24:18 +01:00 |
|
Laurent Perron
|
29ffc72cf3
|
[CP-SAT] work on lrat; probing; variable encoding
|
2025-11-12 17:21:04 +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
|
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
|
cd30fe7ebc
|
fix
|
2025-06-02 15:41:19 +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
|
cf58b37de0
|
fix flakyness
|
2025-04-27 09:00:22 +02:00 |
|
Laurent Perron
|
81474345a8
|
[CP-SAT] more tweakings
|
2025-04-16 11:09:47 +02:00 |
|
Laurent Perron
|
714ba15a4e
|
fixes
|
2025-04-14 18:24:09 +02:00 |
|
Laurent Perron
|
884230dec7
|
[CP-SAT] optional positional boolean on no_overlap_2d; bugfixes
|
2025-04-08 17:30:48 +02:00 |
|
Laurent Perron
|
0f20448ade
|
Implement official output for opb problems
|
2025-04-07 15:53:01 +02:00 |
|
Laurent Perron
|
6b1b7ef2b6
|
[CP-SAT] experimental integration of variable shaving; tentative fix for #4615; more bugfixes
|
2025-04-04 17:05:43 +02:00 |
|
Laurent Perron
|
c06d62f0cb
|
rename internal sat method; more tests
|
2025-04-03 16:18:34 +02:00 |
|