always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
15,817 Commits 2 Branches 0 Tags
master
Commit Graph

49 Commits

Author SHA1 Message Date
Guillaume Chatelet
b28edf1d04 Fix warning 'control reaches end of non-void function' (#4964) 2026-01-07 15:56:33 +01:00
Mizux Seiha
4f381f6d07 backport from main: 
* bump abseil to 20250814
* bump protobuf to v32.0
* cmake: add ccache auto support
* backport flatzinc, math_opt and sat update
 2025-09-16 16:25:04 +02:00
Laurent Perron
f54ac85858 [CP-SAT] support pb24 problem formats; speed ups 2d packing; bugfixes; cleanups 2025-04-02 19:13:51 +02:00
Corentin Le Molgat
62dca6e486 backport vlog_is_on.h patch from main 2025-03-13 15:56:35 +01:00
Mizux Seiha
068359c162 ortools: backport from main 2025-03-04 21:09:32 +01:00
Laurent Perron
5341feef73 [CP-SAT] add experimental routing constraint; more no_overlap_2d presolve; add random_half branching heuristics 2025-01-28 13:34:40 +01:00
Laurent Perron
9cb88905e8 [CP-SAT] regroup all hint preservation code in a SolutionCrunch class; more work on no_overlap_2d propagator; add exception processing if an exceptions is raised in a python callback (solution, log, best_bound) 2025-01-20 15:00:46 +01:00
Laurent Perron
54b8c24839 big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code 2025-01-15 13:51:40 +01:00
Corentin Le Molgat
a66a6daac7 Bump Copyright to 2025 2025-01-10 11:35:44 +01:00
Laurent Perron
198a4d3f12 [CP-SAT] fir rare bug in dependency graph and implications; speed up no_overlap_2d and cumulative relaxation 2024-12-16 14:20:09 +01:00
Laurent Perron
15a12a0c49 [CP-SAT] speed up no_overlap_2d (presolve, propagation); tweak shared tree workers; improve hint preservation during presolve; remove memory contention 2024-12-13 13:10:52 +01:00
Laurent Perron
9803ccb457 [CP-SAT] fix #4458; fix overflow in cumulative propagator 2024-12-10 14:55:41 +01:00
Laurent Perron
1ff812043a improve sequence constraints sample 2024-12-06 15:21:14 +01:00
Laurent Perron
3aaff5bfce [CP-SAT] more work on 2d packing 2024-12-05 13:42:54 +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
491c36769b [CP-SAT] speed up no_overlap_2d propagator, presolve, checker 2024-11-28 17:44:23 +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
Corentin Le Molgat
ef8716241a backport from main 2024-10-01 12:48:20 +02:00
Laurent Perron
701cc87e1e backport from main: sat, graph, lp_data, glop 2024-09-13 13:29:25 -07:00
Laurent Perron
76f2f4c383 [CP-SAT] internal protocol improvements; bug fixes 2024-09-03 18:19:19 +02:00
Laurent Perron
21a75638c2 partial sync with main (without the routing part) 2024-07-12 13:56:11 +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
97cf1237e0 [CP-SAT] new sample;improve no_overlap_2d code 2024-05-30 10:51:54 +02:00
Laurent Perron
a166810d9a [CP-SAT] add rlt cuts; improve no_overlap_2d propagation 2024-02-28 17:20:23 +01:00
Laurent Perron
480d4261c4 [CP-SAT] add shared tree worker parameter override; more use of spans 2024-02-26 11:02:57 +01:00
Laurent Perron
e9c81911c4 [CP-SAT] memory optimizations; improve no_overlap_2d; change default parameters 2024-01-10 16:42:04 +01: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
22fe47fd44 [CP-SAT] more work on diffn 2023-12-21 16:47:34 +01:00
Laurent Perron
4b797d4786 [CP-SAT] remove Domain deprecated API; work on diffn 2023-12-21 14:33:50 +01:00
Laurent Perron
946f9453d9 [CP-SAT] more code cleanup; add inline log callbacks for C++ 2023-12-21 09:37:59 +01:00
Laurent Perron
234024ab74 [CP-SAT] improve python typing; speed up no_overlap_2d; simplofy lns utilities; fix bug in probing 2023-12-19 15:04:12 +01:00
Laurent Perron
60db19f8f7 polish no_overlap_2d new propagator 2023-12-06 14:13:02 +01:00
Laurent Perron
00fd31bd6d [CP-SAT] rewrite clause management; improve probing by probing clauses and at_most_ones from the SAT engine; experimental no_overlap_2d energetic propagator code 2023-12-04 15:06:08 +01:00
Laurent Perron
ebb88d9c50 [CP-SAT] fix corner cases in presolve; rewrite part of the cut management; automatic fixes 2023-05-30 23:25:31 +02:00
Laurent Perron
224a38f87f cleanup code 2023-05-24 11:42:11 +02:00
Laurent Perron
4ca1add04e sync after export tool change 2023-01-20 14:20:41 +01:00
Laurent Perron
0b0f33b8ce [CP-SAT] add diophantine equation solver; improve CumulativeTimeTable cuts 2022-08-18 17:32:24 +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
Laurent Perron
3bb0aa6b32 [CP-SAT] misc work, improve no_overlap_2d propagation and cuts 2022-01-19 19:38:20 +01:00
Laurent Perron
dbe177a0fb [CP-SAT] Support optional intervals in no_overlap_2d; add energetic cut to no_overlap_2d; disable cumulative relaxation of no_overlap_2d by default; fix #3012 2021-12-13 10:47:57 +01:00
Laurent Perron
23e62ac53b more presolve on no_overlap 2021-06-11 15:47:01 +02:00
Laurent Perron
43da47a463 [CP-SAT] polish no_overlap presolve; add LinearExpr.Affine() API in java/C#; tweak LinearExpr C++ API 2021-06-09 11:16:48 +02:00
Laurent Perron
983ef0ef51 [CP-SAT] improve no_overlap presolve 2021-06-08 18:27:20 +02:00
Laurent Perron
1c41f16019 [CP-SAT] Improve presolve for diffn and no_overlap 2021-06-08 10:41:40 +02:00
Laurent Perron
dd85ab7a03 [CP-SAT] reorganize loader/linear_relaxation/cut code; improve SchedulingConstraintHelper; fix/speedup diffn propagation and cuts 2021-06-04 08:35:20 +02:00
Laurent Perron
9d916b7f55 [CP-SAT] rewrite diffn propagation; refactor completion time cut generation; add diffn cuts; fix rare bug with cores 2021-05-29 17:56:46 +02:00