Laurent Perron
|
8d3645a6cd
|
[CP-SAT] fix vivification bug; more work on encodings
|
2026-01-07 16:18:00 +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
|
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 |
|
Corentin Le Molgat
|
1b4d75ceb3
|
sat: backport from main
|
2025-11-05 13:55:12 +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 |
|
Laurent Perron
|
a841258da7
|
[CP-SAT] misc improvements to the internals; more work on general constraints with enforcements
|
2025-09-17 07:47:03 +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 |
|
Mizux Seiha
|
068359c162
|
ortools: backport from main
|
2025-03-04 21:09:32 +01:00 |
|
Corentin Le Molgat
|
a66a6daac7
|
Bump Copyright to 2025
|
2025-01-10 11:35:44 +01:00 |
|
Laurent Perron
|
9803ccb457
|
[CP-SAT] fix #4458; fix overflow in cumulative propagator
|
2024-12-10 14:55:41 +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
|
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
|
52e7341af5
|
Merge branch 'v99bugfix' of github.com:google/or-tools into v99bugfix
|
2024-11-25 14:50:20 +01:00 |
|
Laurent Perron
|
df2811878a
|
[CP-SAT] fix bug with reservoir expansion; improve hint processing; improve work sharing
|
2024-11-25 14:50:09 +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
|
07726776b6
|
[CP-SAT] minor work sharing optim
|
2024-05-30 10:52:44 +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 |
|
Laurent Perron
|
277a99d0ff
|
[CP-SAT] fixes, diffn improvements, remove dead code
|
2024-01-05 17:28:07 +01: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
|
0fb5cacba7
|
fix #3964
|
2023-10-27 15:52:47 +02: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
|
ff8e0d249b
|
tweak subsolvers list; add focus on terms parameters to lb_objective_search; fix bug in shared_tree
|
2023-08-09 14:25:48 -07: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
|
dbaef62eb5
|
[CP-SAT] improvements to feasibility_jump, better presolve on lin_max; tuning
|
2023-04-21 12:48:03 +02:00 |
|
Laurent Perron
|
41b2d04770
|
[CP-SAT] more work on feasibility jump
|
2023-04-05 14:00:06 +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 |
|