Laurent Perron
|
0782d13065
|
[CP-SAT] work on lrat, clause congruence, inprocess ; bug fixes
|
2026-01-07 15:51:36 +01:00 |
|
Laurent Perron
|
0fe7cb5dbd
|
fixes
|
2026-01-07 15:48:58 +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
|
b7d1dc65dc
|
[CP-SAT] more work on lrat; canonicalize Boolean variables in a few more places
|
2025-12-08 11:24:06 +01:00 |
|
Laurent Perron
|
3b18bdd58b
|
[CP-SAT] morework on lrat
|
2025-12-05 08:27:10 +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
|
cd37bacd2a
|
backport sat from main
|
2025-11-24 16:26:34 +01:00 |
|
Laurent Perron
|
7adffccc0d
|
[CP-SAT] more work on encodings, lrat
|
2025-11-21 11:21: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 |
|
Corentin Le Molgat
|
1b4d75ceb3
|
sat: backport from main
|
2025-11-05 13:55:12 +01:00 |
|