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
|
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 |
|
Laurent Perron
|
a7fc26854a
|
[CP-SAT] Work on linear1 encodings; more work on lrat; cleanup linear2 code; work on probing
|
2025-11-05 15:17:38 +01:00 |
|
Corentin Le Molgat
|
1b4d75ceb3
|
sat: backport from main
|
2025-11-05 13:55:12 +01:00 |
|
Corentin Le Molgat
|
b4b226801b
|
update include guards
|
2025-11-05 11:54:02 +01:00 |
|
Corentin Le Molgat
|
4151254eba
|
sat: backport from main
|
2025-07-23 15:04:05 +02:00 |
|
Laurent Perron
|
7e98e7b4d4
|
[CP-SAT] improve no_overlap_2d cuts; more no_overlap_2d cuts; bugfixes; add sat/c_api subdirectory
|
2025-02-10 12:45:46 +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
|
eee2f106cd
|
[CP-SAT] more bug fixes; more moving of hint management to solution_crush
|
2025-01-22 14:37:08 +01:00 |
|
Laurent Perron
|
054289ae7f
|
[CP-SAT] regroup hint code; fix more fuzzer bugs
|
2025-01-21 15:34:42 +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 |
|