Laurent Perron
|
4dab47eaa6
|
[CP-SAT] bugfixes
|
2025-12-15 13:59:08 +01:00 |
|
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
|
56613156ce
|
[CP-SAT] work on lrat; work in inprocessing; fix bug with reduced variables domains and hints
|
2025-12-01 17:44:18 +01:00 |
|
Laurent Perron
|
7adffccc0d
|
[CP-SAT] more work on encodings, lrat
|
2025-11-21 11:21:34 +01:00 |
|
Laurent Perron
|
6b518a65e5
|
[CP-SAT] fix bugs in lrat, inner clause handling, variable expansion
|
2025-11-18 23:24:48 +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 |
|