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 |
|
Corentin Le Molgat
|
ef8716241a
|
backport from main
|
2024-10-01 12:48:20 +02:00 |
|
Laurent Perron
|
21a75638c2
|
partial sync with main (without the routing part)
|
2024-07-12 13:56:11 +02:00 |
|
Laurent Perron
|
ec453aafb6
|
[CP-SAT] fix best bound callback non C++ code; more work on pseudo-costs
|
2024-05-30 10:52:46 +02:00 |
|
Laurent Perron
|
d28edd701c
|
[CP-SAT] code cleanup; more pseudo-cost experimental code; add objective best bound callback
|
2024-05-30 10:52:46 +02:00 |
|
Laurent Perron
|
4fa0d282ac
|
[CP-SAT] fix overflow in search heuristic evaluation; improve pseudo-cost implementation; use it in lb_tree_search; propagate hints when creating encoding literals
|
2024-05-30 10:52:46 +02:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
7d0d173a0f
|
[CP-SAT] optimize feasibility jump; optimize linear presolve; better presolve logging; fix #3917; rewrite and simplify search heuristics code
|
2023-09-13 18:16:28 +02:00 |
|
Laurent Perron
|
224a38f87f
|
cleanup code
|
2023-05-24 11:42:11 +02:00 |
|
Laurent Perron
|
e4c6bbb327
|
[CP-SAT] better expand_objective during presolve; improved implementation of obj_lb_search; refactor search code
|
2022-12-15 10:37:30 +01: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
|
2a5a2b7069
|
remove types warnings; add stronger scheduling cuts
|
2022-04-06 17:33: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
|
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
|
d5c7c48e79
|
int_type_indexed_vector -> strong_vector; polish cp-sat probing workers
|
2020-11-19 00:17:26 +01:00 |
|
Corentin Le Molgat
|
e4caaf96bc
|
format file forcing the left alignment
|
2020-10-29 14:25:39 +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
|
cdf6d283e5
|
improve pseudo-cost branching in CP-SAT
|
2020-01-23 16:06:18 -08:00 |
|
Laurent Perron
|
7f99c48698
|
revamp SAT domains, API with bounds on non C++ languages
|
2019-05-03 16:30:57 +02:00 |
|
Laurent Perron
|
ac81f23b51
|
improve element presolve; add pseudo-cost search
|
2019-01-29 09:15:39 -08:00 |
|