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 |
|
Corentin Le Molgat
|
b4b226801b
|
update include guards
|
2025-11-05 11:54:02 +01:00 |
|
Laurent Perron
|
5d85f840b5
|
[CP-SAT] fix #4839; experimental code for lrat checker; experimental code to control the boolean expansion of small linear2 equations
|
2025-09-29 16:35:16 +02:00 |
|
Corentin Le Molgat
|
b05315de21
|
sat: backport from main
|
2025-09-22 17:24:20 +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 |
|
Corentin Le Molgat
|
a66a6daac7
|
Bump Copyright to 2025
|
2025-01-10 11:35:44 +01:00 |
|
Laurent Perron
|
dba2281f13
|
[CP-SAT] more work on no_overlap_2d; revisit all includes
|
2024-12-04 17:47:28 +01:00 |
|
Laurent Perron
|
873e0b47f8
|
[CP-SAT] improve diffn clustering; more work on hints
|
2024-12-04 15:29:53 +01:00 |
|
Laurent Perron
|
4db23df64a
|
[CP-SAT] missing std includes; fix bug in work sharing
|
2024-11-24 18:42:58 +01:00 |
|
Laurent Perron
|
019ff0b73b
|
[CP-SAT] improve work sharing
|
2024-11-20 17:12:58 +01:00 |
|
Laurent Perron
|
bcf7a00a27
|
[CP-SAT] add test; change default parameters; fix crash on shared workers
|
2024-07-19 16:29:33 +02:00 |
|
Laurent Perron
|
2edfe46dea
|
[CP_SAT] polarity sharing in shared workers
|
2024-07-16 15:26:59 +02:00 |
|
Laurent Perron
|
21a75638c2
|
partial sync with main (without the routing part)
|
2024-07-12 13:56:11 +02:00 |
|
Laurent Perron
|
fa2473affe
|
[CP-SAT] improve presolve for affine_max, improve work sharing; improved linear code
|
2024-05-30 10:52:44 +02:00 |
|
Laurent Perron
|
382ab5d35b
|
[CP-SAT] do not add the linear part of an interval in the model, create it when copying the model for presolve; improve work sharing in shared_tree_mode
|
2024-05-30 10:51:55 +02:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
185b77cea0
|
[CP-SAT] limit effort in feasibility_jump; new experimental scheduling search on cumulative
|
2023-10-29 15:31:06 +01:00 |
|
Laurent Perron
|
b8f224a8e1
|
[CP-SAT] tweak default search; improve scheduling cuts; move no_overlap_2d cuts in its own file; improve feasibility_jump; improve and speedup presolve
|
2023-09-21 13:07:09 +02:00 |
|
Laurent Perron
|
1e0f600949
|
[CP-SAT] few fixes
|
2023-08-03 11:44:23 -07:00 |
|
Laurent Perron
|
224a38f87f
|
cleanup code
|
2023-05-24 11:42:11 +02:00 |
|
Laurent Perron
|
f28ee9a594
|
fix shared worker trees; experimental LS code (just starting).
|
2023-03-22 19:37:00 +01:00 |
|
Laurent Perron
|
8f2d5de90b
|
[CP-SAT] fix #3706, add experimental work-stealing workers, fix minor bugs; improve subsolver multi-thread code
|
2023-03-15 11:54:58 +01:00 |
|