21 Commits

Author SHA1 Message Date
Corentin Le Molgat
b4b226801b update include guards 2025-11-05 11:54:02 +01:00
Laurent Perron
e7279e865c update set cover; move theta_tree to util; deprecate obsolete fields in SAT routes proto 2025-03-29 13:44:39 +01:00
Laurent Perron
a4b37b6465 large sync with main 2025-03-07 10:33:36 +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
1cedb55d6e [CP-SAT] fix scheduling bug 2024-07-24 20:22:33 +02:00
Laurent Perron
21a75638c2 partial sync with main (without the routing part) 2024-07-12 13:56:11 +02:00
Mizux Seiha
a76bf1c5dd bump license boilerplate 2024-01-04 13:43:15 +01:00
Laurent Perron
0b0f33b8ce [CP-SAT] add diophantine equation solver; improve CumulativeTimeTable cuts 2022-08-18 17:32:24 +02:00
Laurent Perron
f119e22b5b [CP-SAT] improve cumulative propagation, use precedence graph; speedup timetable and cumulative_energy; remove reduced_memory parameter 2022-06-23 16:16: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
8af04faff5 [CP-SAT] introduce decomposed energy and use it in scheduling propagation and cuts; remove duplicate code in presolve; simplify the name of a few parameters; add SchedulingDemandHelper class; re-enable model status in search log 2022-06-16 07:45:19 +02:00
Laurent Perron
1deadc71d7 [CP-SAT] Improve scheduling lns; use linearized energy in cumulative_energy; more presolve with linear + at_most/exactly one constraints; validate a few more parameters 2022-05-31 15:40:47 +02:00
Laurent Perron
0f99350f64 [CP-SAT] improve scheduling code (propagator, cuts) 2022-04-13 17:29:48 +02:00
Laurent Perron
08f4a95458 more scheduling propagation/improvements 2021-06-29 17:16:25 +02: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
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
7d413479f6 refactor code 2020-09-14 22:23:17 +02:00
Laurent Perron
99474c1310 merge and improve scheduling code in CP-SAT 2020-02-05 19:00:26 +01:00