Commit Graph

11769 Commits

Author SHA1 Message Date
Corentin Le Molgat
f25897b566 constraint_solver: sync with google3 2023-06-02 08:53:08 +02:00
Corentin Le Molgat
cb6d120b2d linear_solver: Fixup 2023-06-02 08:53:08 +02:00
Corentin Le Molgat
e822f9dd16 algorithms: sync with google3 2023-06-02 08:53:08 +02:00
Mizux Seiha
54a4e79612 tools: fix cross_compile usage 2023-06-02 08:53:08 +02:00
Mizux Seiha
c687b0923d cmake: add messages 2023-06-02 08:53:08 +02:00
Mizux Seiha
0e4ef0d59a bazel: fix indent 2023-06-02 08:53:08 +02:00
Corentin Le Molgat
8820e4c2d1 cmake: Fix FindClp.cmake 2023-05-31 14:29:39 +02:00
Corentin Le Molgat
13648599b5 tools/docker: remove dead code 2023-05-31 14:28:43 +02:00
Corentin Le Molgat
3f045aedb6 tools: fix typo 2023-05-31 11:20:38 +02:00
Corentin Le Molgat
5ce691ed40 cmake: Add License header 2023-05-31 11:20:28 +02:00
Corentin Le Molgat
cc96292755 Fix Dependencies.txt 2023-05-31 08:11:53 +02:00
Corentin Le Molgat
87552165a6 cmake: fix format 2023-05-31 08:07:20 +02:00
Corentin Le Molgat
817b9f6a99 cmake: fixup 2023-05-31 07:55:50 +02:00
Mizux Seiha
09d0ddccac Fixup #3803 2023-05-31 00:42:54 +02: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
5264ba2412 fix bug in Domain::FromValues 2023-05-30 23:24:52 +02:00
Laurent Perron
6df8fb4aa4 typos, missing includes, automatic lint fixes 2023-05-30 23:23:50 +02:00
Laurent Perron
dfc36c7d7b typos, missing includes, automatic lint fixes 2023-05-30 23:23:26 +02:00
Laurent Perron
7e40d75927 fix #3803 2023-05-30 22:58:06 +02:00
Mizux Seiha
bb410c6f6d dotnet: fix timeout 2023-05-30 17:56:49 +02:00
Mizux Seiha
a85be3889e deps: Bump re2 to 2023-03-01 2023-05-30 16:00:05 +02:00
Mizux Seiha
53c1e40969 swig: Fix define definition
need to set ABSL_MUST_USE_RESULT to empty string so '=' is mandatory
2023-05-30 14:49:13 +02:00
Mizux Seiha
cabc82fddb qap_reader: Fix include 2023-05-30 13:23:08 +02:00
Mizux Seiha
19eede6b61 deps: Bump protobuf to v23.2 2023-05-30 11:22:25 +02:00
Corentin Le Molgat
192e690204 cmake: cleanup 2023-05-24 15:39:37 +02:00
Corentin Le Molgat
3be976f47b export from google3 2023-05-24 15:34:57 +02:00
Corentin Le Molgat
459f4ec380 Export linear_solver/ from google3 2023-05-24 15:34:57 +02:00
Corentin Le Molgat
0683d3e741 Export glop/ from google3 2023-05-24 15:34:57 +02:00
Corentin Le Molgat
5ec23e0ebf Export flatzinc/ from google3 2023-05-24 15:34:57 +02:00
Corentin Le Molgat
9167a849ae Export constraint_solver/ from google3 2023-05-24 15:34:57 +02:00
Corentin Le Molgat
7554adcfaf Export bop/ from google3 2023-05-24 15:34:57 +02:00
Corentin Le Molgat
9684634e60 sync ortools/base 2023-05-24 15:34:57 +02:00
Corentin Le Molgat
381df7735f cmake: Add missing license boilerplate 2023-05-24 15:34:57 +02:00
Corentin Le Molgat
7eb7ef6d1e typo fix 2023-05-24 15:34:57 +02:00
Laurent Perron
224a38f87f cleanup code 2023-05-24 11:42:11 +02:00
Laurent Perron
7a9180f625 tentative fix 2023-05-22 10:31:56 +02:00
Mizux Seiha
fdb50b644d deps: Bump protobuf to v23.1 2023-05-22 00:18:42 +02:00
Mizux Seiha
b8c06e3822 deps: Bump abseil-cp to 20230125.3 2023-05-22 00:18:16 +02:00
Laurent Perron
4e8b66e1ff improve #3774 2023-05-17 21:23:47 +02:00
Laurent Perron
5ec5ecd90c [CP-SAT] remove diffn non_strict code; emulate it in flatzinc; tweak diffn propagation; add reinforced diffn propagation in dual scheduling heuristics 2023-05-17 18:08:38 +02:00
Corentin Le Molgat
184b462f2f make: Cleanup README.md 2023-05-17 13:39:25 +02:00
Mizux Seiha
5adb6509ee cross_compile: bump to qemu 8.0.0 2023-05-16 13:32:34 +02:00
Corentin Le Molgat
25a0f872a6 bazel: update pybind11 2023-05-16 13:32:34 +02:00
Corentin Le Molgat
4a24267a52 cross compile fixup 2023-05-16 13:32:34 +02:00
Laurent Perron
cee87cb7ca [CP-SAT] improve code of last commits 2023-05-16 11:52:41 +02:00
Laurent Perron
beb54c2d98 [CP-SAT] improve code of last commits 2023-05-16 10:26:07 +02:00
Laurent Perron
f7e417f5ac fix github action 2023-05-14 08:00:18 +02:00
Laurent Perron
9a9d5e1f38 fix #3769 2023-05-13 19:06:24 +02:00
Laurent Perron
5b4021eb6f [CP-SAT] tie break with objective in feasibility_jump 2023-05-13 10:48:15 +02:00
Laurent Perron
ff32d348a9 [GRAPH] improve scaling in min_cost_flow.h 2023-05-13 10:47:42 +02:00