Commit Graph

13083 Commits

Author SHA1 Message Date
Corentin Le Molgat
34de189f40 backport cmake and bazel update from main 2024-05-30 10:52:45 +02:00
Corentin Le Molgat
c20717d11f backport deps bump from main 2024-05-30 10:52:45 +02:00
Laurent Perron
22d8ae3352 fix asan 2024-05-30 10:52:45 +02:00
Laurent Perron
3c108c75e3 [CP-SAT] remove randomization from linear propagation 2024-05-30 10:52:45 +02:00
Laurent Perron
73164b7ffe [CP-SAT] improve detection of cycles in linear propagation 2024-05-30 10:52:45 +02:00
Laurent Perron
9eddf037c5 [CP-SAT] fix #4176 2024-05-30 10:52:45 +02:00
Laurent Perron
d1c17a02d4 [CP-SAT] better unsat reporting; improve linear propagation 2024-05-30 10:52:45 +02:00
Laurent Perron
70da0ec994 randomize glop on tests 2024-05-30 10:52:45 +02:00
Laurent Perron
4521996ca4 [CP-SAT] more work on 2d packing; fix bugs 2024-05-30 10:52:44 +02:00
Laurent Perron
e33c539a66 [CP-SAT] add a sample for bool_var * int_var 2024-05-30 10:52:44 +02:00
Laurent Perron
4b9596ddf8 improve example 2024-05-30 10:52:44 +02:00
Laurent Perron
07726776b6 [CP-SAT] minor work sharing optim 2024-05-30 10:52:44 +02:00
Laurent Perron
ca7adbba2e improve CP-SAT sample 2024-05-30 10:52:44 +02:00
Laurent Perron
2b7ddee138 fix comment 2024-05-30 10:52:44 +02:00
Laurent Perron
16907575a6 [CP-SAT] improve 2d packing; fix cumulative with variable profile sample 2024-05-30 10:52:44 +02:00
Laurent Perron
fa2473affe [CP-SAT] improve presolve for affine_max, improve work sharing; improved linear code 2024-05-30 10:52:44 +02:00
Laurent Perron
f5d662c029 use absl::span 2024-05-30 10:52:44 +02:00
Laurent Perron
2782f04acc fix #4174 2024-05-30 10:52:44 +02:00
Laurent Perron
4f2c54705a optimize objective creation with cores 2024-05-30 10:52:44 +02:00
Laurent Perron
4cbd27dae9 sync with main 2024-05-30 10:52:42 +02:00
Laurent Perron
382ab5d35b [CP-SAT] do not add the linear part of an interval in the model, create it when copying the model for presolve; improve work sharing in shared_tree_mode 2024-05-30 10:51:55 +02:00
Laurent Perron
45ca1cb2bc use lazy copy in linear solver 2024-05-30 10:51:55 +02:00
Laurent Perron
3a08e10bcf [CP-SAT] fix bug with negative sized intervals; improve cumulative variable profile 2024-05-30 10:51:55 +02:00
Laurent Perron
0ec48be40c improve model_builder python 2024-05-30 10:51:55 +02:00
Laurent Perron
bf2471515f cleanup semantics of under-specified constraint in model_builder python 2024-05-30 10:51:55 +02:00
dongjinlong
2afacf6472 chore: remove repetitive words in comments
Signed-off-by: dongjinlong <dongjinlong@outlook.com>
2024-05-30 10:51:55 +02:00
Laurent Perron
5828741c75 [CP-SAT] improve no_overlap_2d propagation; improve linear propagator + precedences + disjunctive connection; change the way maximization is implemented in python 2024-05-30 10:51:55 +02:00
dongjinlong
a1ed8e3e85 chore: remove repetitive words in comments
Signed-off-by: dongjinlong <dongjinlong@outlook.com>
2024-05-30 10:51:55 +02:00
Laurent Perron
f3f9bc44a2 [CP-SAT] improve diffn and linear loading 2024-05-30 10:51:55 +02:00
Laurent Perron
f2187ed41c reformat 2024-05-30 10:51:55 +02:00
Laurent Perron
2d92deebea tweaks 2024-05-30 10:51:55 +02:00
Laurent Perron
ee2e20ce4d reformat 2024-05-30 10:51:55 +02:00
Laurent Perron
91fe48478d reformat 2024-05-30 10:51:55 +02:00
Florian Omnès
42e3414d5f [CMAKE] Required version 3.18 -> 3.20 (#4155)
```
elseif(UNIX)
  cmake_path(RELATIVE_PATH CMAKE_INSTALL_FULL_LIBDIR
             BASE_DIRECTORY ${CMAKE_INSTALL_FULL_BINDIR}
             OUTPUT_VARIABLE libdir_relative_path)
  set_target_properties(solve PROPERTIES INSTALL_RPATH
    "$ORIGIN/${libdir_relative_path}")
endif()
```

`cmake_path` was added in CMake 3.20, see https://cmake.org/cmake/help/latest/command/cmake_path.html
2024-05-30 10:51:55 +02:00
Corentin Le Molgat
8f85d85be8 bazel: use scip TPI_NONE
TPI_TNY won't work in JAVA wrapper
2024-05-30 10:51:54 +02:00
Corentin Le Molgat
7bd7a29e51 linear_solver: remove dead code 2024-05-30 10:51:54 +02:00
Corentin Le Molgat
e2221e0e31 cleanup scip.BUILD.bazel 2024-05-30 10:51:54 +02:00
Corentin Le Molgat
52073a163e Fix GScip math_opt test 2024-05-30 10:51:54 +02:00
Corentin Le Molgat
e3d3c610a4 version: Bump to 9.10 2024-05-30 10:51:54 +02:00
Corentin Le Molgat
1558b77419 backport routing/ from main 2024-05-30 10:51:54 +02:00
Corentin Le Molgat
c76a9a424a backport example/ from main 2024-05-30 10:51:54 +02:00
Corentin Le Molgat
c9b1ad998a backport linear_solver, math_opt, pdlp and util from main 2024-05-30 10:51:54 +02:00
Corentin Le Molgat
2b0085be7d backport ci/cd/release stuff from main 2024-05-30 10:51:54 +02:00
Corentin Le Molgat
48ace85e13 base: backport from main 2024-05-30 10:51:54 +02:00
Corentin Le Molgat
bd97b225bd graph: backport from main 2024-05-30 10:51:54 +02:00
Corentin Le Molgat
5bdcc38cbd algorithms: backport from main 2024-05-30 10:51:54 +02:00
Florian OMNES
f88f748635 Use fixtures for XPRESS tests, instead of C-style macros
Instead of macros, use fixtures for XPRESS tests
2024-05-30 10:51:54 +02:00
Laurent Perron
1d3d09242f add output to recipe 2024-05-30 10:51:54 +02:00
Laurent Perron
97cf1237e0 [CP-SAT] new sample;improve no_overlap_2d code 2024-05-30 10:51:54 +02:00
Laurent Perron
02a53ee8d0 selecting a subset of pieces 2024-05-30 10:51:54 +02:00