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

114 Commits

Author SHA1 Message Date
Laurent Perron
6a603cc183 [CP-SAT] fix rare crash 2026-01-08 13:09:17 +01:00
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
0fe7cb5dbd fixes 2026-01-07 15:48:58 +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
b7d1dc65dc [CP-SAT] more work on lrat; canonicalize Boolean variables in a few more places 2025-12-08 11:24:06 +01:00
Laurent Perron
3b18bdd58b [CP-SAT] morework on lrat 2025-12-05 08:27:10 +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
6b518a65e5 [CP-SAT] fix bugs in lrat, inner clause handling, variable expansion 2025-11-18 23:24:48 +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
Laurent Perron
a7fc26854a [CP-SAT] Work on linear1 encodings; more work on lrat; cleanup linear2 code; work on probing 2025-11-05 15:17:38 +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
Laurent Perron
6e405723c4 [CP-SAT] improve opb file support; minor fuzzer bug fixes 2025-04-14 16:45:06 +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
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
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
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
dba2281f13 [CP-SAT] more work on no_overlap_2d; revisit all includes 2024-12-04 17:47:28 +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
Laurent Perron
1643c5a143 [CP-SAT] more fuzzer bugfixes; tweaking ot the max clique heuristics 2024-11-15 15:56:05 +01:00
Laurent Perron
b899e25cec [CP-SAT] fix a few fuzzer bugs; preserve a bit more hints during presolve; change max_clique heuristics used in presolve 2024-11-15 07:30:45 +01: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
Laurent Perron
d6de78c923 [CP-SAT] vivification after import; remove unused affine in presolve; remove obsolete ThreadPool usage 2024-10-08 16:06:05 +02:00
Corentin Le Molgat
ef8716241a backport from main 2024-10-01 12:48:20 +02:00
Laurent Perron
76f2f4c383 [CP-SAT] internal protocol improvements; bug fixes 2024-09-03 18:19:19 +02: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
Laurent Perron
511bf047a7 backport cp-sat code from main 2024-05-30 10:51:53 +02:00
Laurent Perron
3c5c99c278 [CP-SAT] speed up processing of at most ones; add named subsolver parameters for lns and shared_tree workers 2024-03-04 18:07:17 +01:00
Laurent Perron
8627cbf9b8 [CP-SAT] improve cumulative relaxation; more spans 2024-02-16 23:13:09 +01:00
Laurent Perron
9339193629 [CP-SAT] fixes and speed improvements 2024-02-15 08:46:38 +01:00
Laurent Perron
5ad4300122 [CP-SAT] add parameter to specify how to process large bounds when solver a MIP problem 2024-01-22 16:46:54 +01:00
Laurent Perron
ce58010fb2 memory optimization; speed optimization; fix #4047 2024-01-12 16:31:18 +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
23c771f086 fix 2024-01-02 13:38:08 +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
47306a72ca [CP-SAT] more work on clause management 2023-12-13 16:14:35 +01:00
Laurent Perron
47fcebdea6 [CP-SAT] fix sharing bug where some fixed Boolean variables were not shared; use new no_overlap_2d propagator in scheduling workers; improve probing code 2023-12-06 14:15:16 +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
5b6c803db3 [CP-SAT] convert to PEP8 convention 2023-11-16 19:46:56 +01:00