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
|
21a75638c2
|
partial sync with main (without the routing part)
|
2024-07-12 13:56:11 +02:00 |
|
Laurent Perron
|
e9c81911c4
|
[CP-SAT] memory optimizations; improve no_overlap_2d; change default parameters
|
2024-01-10 16:42:04 +01:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
fd3c1084c1
|
[CP-SAT] remove base/cleanup; rewrite code that stores decision strategies to natively use affine expression
|
2023-12-07 19:17:57 +01:00 |
|
Laurent Perron
|
47fcebdea6
|
[CP-SAT] fix sharing bug where some fixed Boolean variables were not shared; use new no_overlap_2d propagator in scheduling workers; improve probing code
|
2023-12-06 14:15:16 +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
|
224a38f87f
|
cleanup code
|
2023-05-24 11:42:11 +02:00 |
|
Laurent Perron
|
1dcb7e84f8
|
[CP-SAT] rewrite square relaxation on cut generation; remove dead presolve code
|
2022-10-13 12:53:55 +02:00 |
|
Laurent Perron
|
87ca4f58ad
|
[CP-SAT] bump license years; fix scheduling cuts; improve lb_tree_search
|
2022-06-16 15:21:00 +02:00 |
|
Laurent Perron
|
5e41f40c2f
|
remove range-loop warnings from the sat code
|
2022-02-24 14:17:43 +01:00 |
|
Laurent Perron
|
8fe2df9a18
|
[CP-SAT] regenerates all includes; improve core solver when the objective is pseudo-boolean
|
2022-02-15 18:00:11 +01:00 |
|
Laurent Perron
|
827b952aa7
|
missing files
|
2022-02-14 14:34:55 +01:00 |
|