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

515 Commits

Author SHA1 Message Date
Laurent Perron
8d3645a6cd [CP-SAT] fix vivification bug; more work on encodings 2026-01-07 16:18:00 +01:00
Laurent Perron
0782d13065 [CP-SAT] work on lrat, clause congruence, inprocess ; bug fixes 2026-01-07 15:51:36 +01:00
Laurent Perron
4dab47eaa6 [CP-SAT] bugfixes 2025-12-15 13:59:08 +01:00
Laurent Perron
562ffd7eed [CP-SAT] more work on lrat; cleanup memory management in scheduling clauses; improve encoded only variable expansion; fix a few bugs 2025-12-15 13:07:29 +01:00
Laurent Perron
56613156ce [CP-SAT] work on lrat; work in inprocessing; fix bug with reduced variables domains and hints 2025-12-01 17:44:18 +01:00
Laurent Perron
cd37bacd2a backport sat from main 2025-11-24 16:26:34 +01:00
Laurent Perron
72d75ca109 [CP-SAT] work on lrat; better expansion of variables only appearing in encoding constraints 2025-11-18 16:24:18 +01:00
Laurent Perron
29ffc72cf3 [CP-SAT] work on lrat; probing; variable encoding 2025-11-12 17:21:04 +01:00
Corentin Le Molgat
1b4d75ceb3 sat: backport from main 2025-11-05 13:55:12 +01:00
Laurent Perron
5d85f840b5 [CP-SAT] fix #4839; experimental code for lrat checker; experimental code to control the boolean expansion of small linear2 equations 2025-09-29 16:35:16 +02:00
Corentin Le Molgat
b05315de21 sat: backport from main 2025-09-22 17:24:20 +02: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
Corentin Le Molgat
0db80a34f6 sat: backport from main 2025-08-06 10:54:53 +02:00
Corentin Le Molgat
4151254eba sat: backport from main 2025-07-23 15:04:05 +02:00
Laurent Perron
7f463e1a68 sync with main 2025-06-02 14:25:50 +02:00
Laurent Perron
188cfcbde5 [CP-SAT] work on precedences; improve scheduling cuts 2025-05-27 14:34:42 +02:00
Laurent Perron
b28b0625f9 [CP-SAT] use precedences in completion time cuts; improve glue clause sharing 2025-05-16 16:48:11 +02:00
Laurent Perron
0e0194eb52 [CP-SAT] fix dtime reporting for lns 2025-05-14 17:08:38 +02:00
Laurent Perron
0a5e8db6af [CP-SAT] lots of bugfixes, improvement to primary variables heuristics; cleanup scheduling cuts code 2025-05-14 13:34:04 +02:00
Laurent Perron
e0544026ba [CP-SAT] small fixes, reindent 2025-04-30 13:54:47 +02:00
Laurent Perron
9845bef9fa [CP-SAT] more presolve 2025-04-25 19:04:27 +02:00
Laurent Perron
bade22ee5d cleanup cp-sat default search configurations 2025-04-18 12:58:33 +02:00
Laurent Perron
89b85436fd update sat runner for pbo competition 2025-04-17 16:23:21 +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
edb9051c03 minor optims 2025-04-10 11:41:06 +02:00
Laurent Perron
6b1b7ef2b6 [CP-SAT] experimental integration of variable shaving; tentative fix for #4615; more bugfixes 2025-04-04 17:05:43 +02:00
Laurent Perron
c3dd11050e CP-SAT cleanups 2025-03-25 07:33:46 -07:00
Laurent Perron
d7b250cf5e Add StopSearch function in C++ CP-SAT 2025-03-23 20:46:46 -07:00
Laurent Perron
243a442a71 [CP-SAT] more work on routing cuts; improve enforcement of time limits 2025-03-19 13:23:33 -07:00
Corentin Le Molgat
62dca6e486 backport vlog_is_on.h patch from main 2025-03-13 15:56:35 +01:00
Laurent Perron
a4b37b6465 large sync with main 2025-03-07 10:33:36 +01:00
Mizux Seiha
068359c162 ortools: backport from main 2025-03-04 21:09:32 +01:00
Laurent Perron
7e98e7b4d4 [CP-SAT] improve no_overlap_2d cuts; more no_overlap_2d cuts; bugfixes; add sat/c_api subdirectory 2025-02-10 12:45:46 +01:00
Laurent Perron
8b4a24a0a3 [CP-SAT] polish new cumulative cuts code; more experimental code on routing cuts; cleaning, fixes 2025-02-07 22:34:38 +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
12cb30c8e6 [CP-SAT] experiment with prefered linearization_level in lns; fuzzer bugs fixed 2025-01-30 14:28:33 +01:00
Laurent Perron
77c5d2959d [CP-SAT] more bug fixing 2025-01-27 13:50:57 +01:00
Laurent Perron
df31847650 [CP-SAT] more model copy in its own library; few more fuzzer bugs fixed; add simple presolve rule 2025-01-24 14:11:24 +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
f152e3a52e [CP-SAT] fix more fuzzer bugs; fix #4324 2024-12-19 15:39:31 +01:00
Laurent Perron
925af8aa71 [CP-SAT] lots of fuzzer bugs fixed 2024-12-18 18:00:30 +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
9803ccb457 [CP-SAT] fix #4458; fix overflow in cumulative propagator 2024-12-10 14:55:41 +01:00
Laurent Perron
83a434dc47 [CP-SAT] improve propagation; more hint preservation; polish last sample 2024-12-06 11:49:16 +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
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