Laurent Perron
|
6b518a65e5
|
[CP-SAT] fix bugs in lrat, inner clause handling, variable expansion
|
2025-11-18 23:24:48 +01:00 |
|
Corentin Le Molgat
|
1b4d75ceb3
|
sat: backport from main
|
2025-11-05 13:55:12 +01:00 |
|
Laurent Perron
|
4af14d7d4f
|
sync: cp-sat bug fixes, stringview, fix strong int missing stl code, update graph
|
2025-04-01 06:29:45 +02:00 |
|
Laurent Perron
|
f9b6212649
|
[CP-SAT] experimental routing cuts; new cumulative cuts; improve no_overlap_2d code all around
|
2025-02-05 18:12:33 +01:00 |
|
Laurent Perron
|
df31847650
|
[CP-SAT] more model copy in its own library; few more fuzzer bugs fixed; add simple presolve rule
|
2025-01-24 14:11:24 +01:00 |
|
Laurent Perron
|
9cb88905e8
|
[CP-SAT] regroup all hint preservation code in a SolutionCrunch class; more work on no_overlap_2d propagator; add exception processing if an exceptions is raised in a python callback (solution, log, best_bound)
|
2025-01-20 15:00:46 +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
|
15a12a0c49
|
[CP-SAT] speed up no_overlap_2d (presolve, propagation); tweak shared tree workers; improve hint preservation during presolve; remove memory contention
|
2024-12-13 13:10:52 +01:00 |
|
Laurent Perron
|
503b038dfc
|
[CP-SAT] optimize binary implication graph; rewrite some no_overlap_2d constraints; lot of spans
|
2024-11-28 15:52:59 +01:00 |
|
Laurent Perron
|
78d5ba5941
|
[CP-SAT] more work on hints; control complexity of 2d packing constraints and presolve
|
2024-11-26 17:55:57 +00:00 |
|
Corentin Le Molgat
|
a72b8b25ff
|
sat: export tests from google3
|
2024-10-07 08:25:27 +02:00 |
|