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

256 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
c8d7710fd7 [CP-SAT] more work on lrat, regroup linear1 presolve methods 2026-01-07 15:57:21 +01:00
Guillaume Chatelet
b28edf1d04 Fix warning 'control reaches end of non-void function' (#4964) 2026-01-07 15:56:33 +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
Guillaume Chatelet
7345481dfe Remove fuzztest support from OR-Tools (#4938) 
* Remove fuzztest support from OR-Tools
 2025-12-08 11:31: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
1623b1cb18 [CP-SAT] add soft constraint examples 2025-12-01 17:48:15 +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
7adffccc0d [CP-SAT] more work on encodings, lrat 2025-11-21 11:21: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
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
Corentin Le Molgat
159110560a sat: backport from main 2025-10-16 13:07:26 +02:00
Guillaume Chatelet
8710e86e8a Test export 2025-10-16 11:43:45 +02:00
Guillaume Chatelet
e1f2e3f0d7 Remove unneeded string_view_migration 2025-10-01 08:08:36 +02:00
Guillaume Chatelet
3d96b9a6ac [bazel] mark a few more tests as manual 2025-10-01 08:08:16 +02: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
Laurent Perron
a841258da7 [CP-SAT] misc improvements to the internals; more work on general constraints with enforcements 2025-09-17 07:47:03 +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
e02b6a013c [CP-SAT] update code, mostly small bug fixes 2025-08-22 16:06:35 -07:00
Corentin Le Molgat
d206973ced bazel: fix sat loads 2025-08-08 09:07:52 +02:00
Laurent Perron
9fa9bd4da4 [CP-SAT] better dtime for scheduling constraints; connect the time limit in the repair_hint mode; fix #4743 2025-07-29 09:07:13 -07:00
Laurent Perron
99ede3bbde [CP-SAT] more polishing on the python API; fix #4733; improve linear2 processing 2025-07-28 10:34:04 -07:00
Laurent Perron
f2cf147e79 [CP-SAT] rewrite and speed up the python layer; extend support for enforcement literals to more constraints 2025-07-24 23:51:00 +02:00
Guillaume Chatelet
447ce0b3e2 Fix bazel load rules 2025-07-23 09:05:10 +00:00
Guillaume Chatelet
924ba73402 Fix 
* Re-introduce it in base/ BUILD.bazel
* Add explicit deps in every target using it
 2025-07-18 16:18:11 +00:00
Laurent Perron
a42647f9cf improve 2d packing 2025-07-16 17:41:33 +02:00
Laurent Perron
e5dc796ef6 [CP-SAT] remove the use of python protobufs; use proxies to C++ protobufs instead; this changes slightly the API of these proto for parameters 2025-07-16 16:55:49 +02:00
Laurent Perron
5b1376b9df small cleaning 2025-07-01 16:51:11 +02:00
Laurent Perron
0ac20dfcd7 [CP-SAT] improve precedences; fix #4693; tweak shared tree workers 2025-06-23 17:33:30 +02:00
Laurent Perron
c14e54cf82 [CP-SAT] print a solution after a SIGTERM; improve precedences 2025-06-20 15:11:37 +02:00
Laurent Perron
9888ce3da1 polish third_party_solvers; speed up cp-sat on no_ovrlap_2d 2025-06-19 14:08:49 +02:00
Laurent Perron
e3d4f349fe [CP-SAT] more work on precedences; and no_overlap_2d 2025-06-17 12:48:24 +02:00
Laurent Perron
9ca57ad2cd [CP-SAT] more precedence handling; minor python improvements 2025-06-11 15:03:52 +02:00
Laurent Perron
64fcba4be7 [CP-SAT] work on precedences; fix bug in scheduling cuts 2025-06-10 17:25:55 +02:00
Laurent Perron
29fabd91f7 [CP-SAT] stronger no_overlap_2d variation 2025-06-02 14:53:51 +02:00
Corentin Le Molgat
947a211284 bazel: cleanup cc_binary load 2025-05-27 14:32:29 +02:00
Laurent Perron
d055baeca4 [CP-SAT] work on precedences; improve scheduling cuts 2025-05-27 13:49:29 +02:00
Corentin Le Molgat
7518c717ed bazel: cleanup BUILD.bazel 2025-05-26 15:07:03 +02:00
Mizux Seiha
ed1b05d1d8 bazel: update deps 
* don't use repo name
* Bump abseil-cpp to 20250512.0
* Bump Protobuf to 31.0
* Bump benchmark to 1.9.2
* Bump googletest to 1.17.0
 2025-05-22 03:12:46 +02:00
Laurent Perron
b29f4075f6 [CP-SAT] use precedences in completion time cuts; improve glue clause sharing 2025-05-16 16:47:50 +02:00
Laurent Perron
c30fefab04 fixes 2025-05-14 16:58:06 +02:00
Laurent Perron
640aaeb8e0 [CP-SAT] lots of bugfixes, improvement to primary variables heuristics; cleanup scheduling cuts code 2025-05-14 13:33:20 +02:00
Laurent Perron
f91b091050 fix #4641 2025-05-07 13:28:48 +02:00