Corentin Le Molgat
|
b4b226801b
|
update include guards
|
2025-11-05 11:54:02 +01: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
|
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
|
09d534a2b7
|
[CP-SAT] rewrite Rins/Rens; fix #3825; cleanups
|
2023-06-17 12:10:17 +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
|
8fe2df9a18
|
[CP-SAT] regenerates all includes; improve core solver when the objective is pseudo-boolean
|
2022-02-15 18:00:11 +01:00 |
|
Mizux Seiha
|
8bb54b04ef
|
Bump Copyright to 2021
FYI:
find ortools \( -type d -name .git -prune \) -o -type f -print0 | xargs -0 sed -i 's/\(Copyright 2010\)-2018/\1-2021/g'
|
2021-04-01 21:00:53 +02:00 |
|
Laurent Perron
|
bad5c2032b
|
int64 -> int64_t
|
2021-03-04 18:26:01 +01:00 |
|
Laurent Perron
|
3f177174a8
|
[CP-SAT] rewrite random management; experimental support for affine expressions in the interval definition; cache precedence literals and constraints across reservoir constraints; fix presolve for the element constraint
|
2020-12-18 10:16:56 +01:00 |
|
Laurent Perron
|
6467dc69b0
|
reformat the code; [CP-SAT] add dominated columns presolve
|
2020-10-28 13:42:51 +01:00 |
|
Mizux Seiha
|
20d0496bfb
|
reapply google format
|
2020-10-23 00:45:17 +02:00 |
|
Laurent Perron
|
a4258f2bdf
|
switch flags setters and getters to the absl format
|
2020-10-21 00:21:54 +02:00 |
|
Laurent Perron
|
57e6460647
|
more work on SAT
|
2020-06-05 16:11:35 +02:00 |
|
Laurent Perron
|
79e556128f
|
more work on sat simplifications; tweak CP-SAT LNS; improve CP-SAT RINS/RENS
|
2020-05-13 11:30:15 +02:00 |
|
Laurent Perron
|
581d5606e0
|
fix #2005; massive rewrite of pure sat processing; RINS/RENS improvements in CP-SAT; get rid of base/status.h in favor of the absl version
|
2020-05-06 18:22:10 +02:00 |
|
Laurent Perron
|
b3c9ac9de8
|
fix #1413
|
2019-07-15 10:26:19 -07:00 |
|
Laurent Perron
|
a556eb1ec0
|
[CP-SAT] Rins fixes, cuts improvements
|
2019-07-12 10:22:51 -07:00 |
|
Laurent Perron
|
447cfbfe12
|
fix RINS/RENS
|
2019-07-09 20:15:17 -07:00 |
|
Laurent Perron
|
ff3c887c5d
|
tweak CP-SAT lns
|
2019-06-17 11:35:40 +02:00 |
|
Laurent Perron
|
39cae88902
|
add new routing LS operator; add Abs() propagator + presolve to CP-SAT; cache RINS info in CP-SAT
|
2019-04-25 18:12:35 +02:00 |
|
Laurent Perron
|
85bb98a616
|
more work on integer search; add RINS heuristis
|
2019-04-17 22:43:39 +02:00 |
|