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

111 Commits

Author SHA1 Message Date
Corentin Le Molgat
b4b226801b update include guards 2025-11-05 11:54:02 +01:00
Corentin Le Molgat
b05315de21 sat: backport from main 2025-09-22 17:24:20 +02:00
Laurent Perron
0e0194eb52 [CP-SAT] fix dtime reporting for lns 2025-05-14 17:08:38 +02:00
Laurent Perron
6e405723c4 [CP-SAT] improve opb file support; minor fuzzer bug fixes 2025-04-14 16:45:06 +02:00
Laurent Perron
650f095bda [CP-SAT] more work on routing cuts; graph based LNS start from the objective; better enforcement of time limits 2025-03-21 06:57:07 -07:00
Laurent Perron
a4b37b6465 large sync with main 2025-03-07 10:33:36 +01:00
Laurent Perron
d6210362b5 [CP-SAT] improve memory usage for LNS 2025-02-10 14:49:06 +01:00
Laurent Perron
f9b6212649 [CP-SAT] experimental routing cuts; new cumulative cuts; improve no_overlap_2d code all around 2025-02-05 18:12:33 +01:00
Laurent Perron
77c5d2959d [CP-SAT] more bug fixing 2025-01-27 13:50:57 +01:00
Corentin Le Molgat
a66a6daac7 Bump Copyright to 2025 2025-01-10 11:35:44 +01:00
Laurent Perron
f152e3a52e [CP-SAT] fix more fuzzer bugs; fix #4324 2024-12-19 15:39:31 +01:00
Laurent Perron
87b144f3d2 [CP-SAT] more work on hints; speed up memory allocation in LNS 2024-12-17 14:58:23 +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
dba2281f13 [CP-SAT] more work on no_overlap_2d; revisit all includes 2024-12-04 17:47:28 +01:00
Laurent Perron
dbe123f225 [CP-SAT] more spans; one more case of preserving hints during presolve; new packing LNS; propagate objective in LNS 2024-12-02 17:22:36 +01:00
Laurent Perron
6e1fdea611 [CP-SAT] change the element constraint proto to support affine expressions everywhere; more work on lp folding and support of symmetries in the LP and the linear subsystem 2024-10-18 11:54:09 +02:00
Laurent Perron
c930dd656e [CP-SAT] check the time limit more frequently; experimental support for lp folding; more pedantic tests in presolve 2024-10-16 14:13:02 +02:00
Corentin Le Molgat
bda54b7e39 sat: Export from google3 2024-10-07 08:40:04 +02:00
Laurent Perron
701cc87e1e backport from main: sat, graph, lp_data, glop 2024-09-13 13:29:25 -07:00
Laurent Perron
08e9085d36 speedup 2024-07-22 17:36:22 +02:00
Laurent Perron
21a75638c2 partial sync with main (without the routing part) 2024-07-12 13:56:11 +02:00
Laurent Perron
ce58010fb2 memory optimization; speed optimization; fix #4047 2024-01-12 16:31:18 +01:00
Mizux Seiha
a76bf1c5dd bump license boilerplate 2024-01-04 13:43:15 +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
47306a72ca [CP-SAT] more work on clause management 2023-12-13 16:14:35 +01:00
Laurent Perron
b6c986fe41 [CP-SAT] enable violation_ls by default 2023-10-26 10:59:30 +02:00
Laurent Perron
d07127d40a [CP-SAT] revisit search heuristics, lns workers search heuristics; scheduling propagation 2023-10-02 19:52:11 +02:00
Laurent Perron
4255e18c56 [CP-SAT] improve lns for makespan objective; fix jeasibility jump check failed; fix non deterministic search with gap limits 2023-09-28 14:28:27 +02: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
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
fa6883d544 mostly cleaning: remove integral_types.h and basictypes.h 2023-08-24 14:52:54 +02:00
Laurent Perron
b3e663de62 [CP-SAT] add packing_precedences_lns 2023-08-09 14:49:24 -07:00
Laurent Perron
8d44f5f524 fix race and subsequent crash 2023-08-03 10:12:38 -07:00
Laurent Perron
249d46ea58 second packing lns 2023-07-20 17:38:39 -07:00
Laurent Perron
fd4a1738c5 [CP-SAT] improve cores when at_most_one are present, cleanup internal lns helpers 2023-07-20 08:53:39 -07:00
Laurent Perron
d36c0d7ea5 [CP-SAT] fix 1 overflow; minor speed up of the sat part; add no_overlap_2d dedicated lns 2023-07-19 11:54:17 -07:00
Laurent Perron
65eedeb038 [CP-SAT] revisit core based search; polish graph_arc_lns 2023-07-17 14:41:57 -07:00
Laurent Perron
5194c98219 [CP-SAT] fix bug on objective_shaving_search; experimental graph_arc_lns 2023-06-27 16:27:02 +02:00
Laurent Perron
c50650e636 [CP-SAT] more work on logging; remove unused LNS 2023-06-27 14:22:11 +02:00
Laurent Perron
f36a11c9a9 [CP-SAT] new Lns; tweak log 2023-06-26 18:15:28 +02:00
Laurent Perron
5024c23691 [CP-SAT] new lns (graph_dec_lns); internal code cleaning 2023-06-22 15:43:31 +02:00
Laurent Perron
c26ac93f00 fix code 2023-06-19 15:36:29 +02:00
Laurent Perron
09d534a2b7 [CP-SAT] rewrite Rins/Rens; fix #3825; cleanups 2023-06-17 12:10:17 +02:00
Laurent Perron
7ff7fe8a56 [CP-SAT] revisit cut code; add new API to MaxBoundedSubsetSum 2023-06-06 13:14:57 +02:00
Laurent Perron
224a38f87f cleanup code 2023-05-24 11:42:11 +02:00
Laurent Perron
08ea96ceb8 [CP-SAT] add rnd_obj_lns, off by default 2023-01-03 16:40:09 +01:00
Laurent Perron
8948fcc24b [CP-SAT] cleaning 2022-10-17 17:11:59 +02: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