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

76 Commits

Author SHA1 Message Date
Laurent Perron
cd37bacd2a backport sat from main 2025-11-24 16:26:34 +01:00
Corentin Le Molgat
b294ff6de2 bazel: backport java rework from main 2025-10-16 13:02:37 +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
Mizux Seiha
7fc67a4468 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 14:42:28 +02:00
Laurent Perron
6620974766 [CP-SAT] fix potential race when stopping a search asynchronously 2025-03-25 11:22:49 -07:00
Corentin Le Molgat
a66a6daac7 Bump Copyright to 2025 2025-01-10 11:35:44 +01:00
Corentin Le Molgat
00885d45bd sat: backport from main 2024-11-15 14:40:47 +01:00
Laurent Perron
ee241f30b5 [CP-SAT] supports affine expression in automaton 2024-10-25 13:15:40 +02:00
Laurent Perron
18df536d12 cherry-pick from the main branch 2024-10-24 11:42:11 +02:00
Laurent Perron
55ff5cf534 [CP-SAT] change element and table protos, API to support affine expressions 2024-10-23 05:59:17 +02:00
Laurent Perron
21a75638c2 partial sync with main (without the routing part) 2024-07-12 13:56:11 +02:00
Laurent Perron
d28edd701c [CP-SAT] code cleanup; more pseudo-cost experimental code; add objective best bound callback 2024-05-30 10:52:46 +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
Corentin Le Molgat
7050ad3fc9 cmake: rework java helper functions 2024-01-18 11:22:38 +01:00
Mizux Seiha
a76bf1c5dd bump license boilerplate 2024-01-04 13:43:15 +01:00
Corentin Le Molgat
778f90ee9d bazel: remove jvm_flags hack 2023-12-18 13:59:59 +01:00
Laurent Perron
3219d12658 [CP-SAT] support linear expressions in decision strategies 2023-12-08 14:50:21 +01: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
Corentin Le Molgat
8d6c172e5c cleanup 2023-03-06 18:28:57 +01:00
Corentin Le Molgat
1e0f4027e2 bazel: Fix java tests/samples run 
* remove: code_samples_java_test
* Fix jvm library path on windows
 2023-03-06 15:45:23 +01:00
Corentin Le Molgat
6c6c7d1902 bazel: Rework java support 
Fix swig_java.bzl
 2023-03-02 17:41:10 +01:00
Laurent Perron
acda5d226d [CP-SAT] reduce memory usage of integer variables; add option to save model in binary format 2023-02-09 16:18:46 -08:00
Corentin Le Molgat
41d60ad520 cmake: Fix SWIG build 
Still need to define ABSL_MUST_USE_RESULT= even with swig 4.1.1
 2023-02-06 08:47:46 +01:00
Corentin Le Molgat
9054f13f95 cmake: remove ABSL_MUST_USE_RESULT for swig 
should be fixed with absl upstream + swig 4.1 now support attibute
 2023-02-06 08:47:46 +01:00
Laurent Perron
e9f9404923 Remove logging code; use absl one 2023-01-31 20:46:43 +01:00
Laurent Perron
d1fc863202 simplify swig java for sat 2023-01-27 16:09:00 +01:00
Laurent Perron
71dde046fa cleanup 2023-01-25 15:24:54 +01:00
Laurent Perron
3eaf52397f fix test code 2023-01-24 15:58:13 +01:00
Laurent Perron
8d2df04bbc [CP-SAT] run java tests under bazel; enrich workspace 2023-01-24 15:33:55 +01:00
Laurent Perron
cf53ee3c9f reformat bazel java code; CP-SAT: fix corner case in presolve, zero very small coefficients in translate from math model, more parameter validation 2023-01-05 13:38:42 +01:00
Laurent Perron
71b52a38ad java bazel support for sat 2022-12-30 11:40:33 +01:00
Laurent Perron
2746b48c5c add bazel java POC; works with algorithms and graph 2022-12-29 19:56:02 +01:00
Laurent Perron
6f12dd7c39 fix 2022-12-19 14:33:14 +01:00
Laurent Perron
af308f7610 [CP-SAT] tweak linear2 presolve with 1 Boolean var; speedup presolve 2022-12-07 13:23:31 +01:00
Laurent Perron
2264cb9059 [CP-SAT] more aggregate presolve; fix bug with no_overlap and duplicated intervals; add parameter for the probing time limit; use all threads to find the first solution while the lns workers are idle; tweak lb_tree_search by allowing more glop iterations at the root node 2022-11-29 14:39:27 +01:00
Mizux Seiha
b65c86da8b cmake: Fix java 
* fix cmake/java.cmake
* fix <cmp>/java/CMakeLists.txt
* fix examples/tests/CMakeLists.txt
 2022-09-23 13:15:36 +02:00
Mizux Seiha
ddbbd50228 move examples/test/*.java to ortools/<component>/java 2022-09-22 22:40:10 +02:00
Corentin Le Molgat
1af55b2be3 Add license boilerplate 2022-06-21 11:25:29 +02:00
Laurent Perron
87ca4f58ad [CP-SAT] bump license years; fix scheduling cuts; improve lb_tree_search 2022-06-16 15:21:00 +02:00
Mizux Seiha
976f227b67 cmake: rework java 2021-12-03 14:20:19 +01:00
Laurent Perron
1ea133254a [CP-SAT] improve scheduling default search 2021-09-13 14:09:11 +02:00
Corentin Le Molgat
c45cd04d1c Fix java wrappers 2021-09-10 16:25:35 +02:00
Corentin Le Molgat
96ead8f216 java: sync tests with Google 2021-09-03 18:21:29 +02:00
Laurent Perron
a18d290bd7 [CP-SAT] fix more corner cases in checker and presolve 2021-09-01 11:53:03 +02:00
Corentin Le Molgat
e5a5b8e18f java(sat): Fix log handler when having NumSearchWorkers > 1 2021-08-30 11:42:08 +02:00
Corentin Le Molgat
28804fd612 java: Quick fix SatSolverTest by using one worker 
Need further investigation...
 2021-08-27 18:20:08 +02:00
Mizux Seiha
8bb54b04ef Bump Copyright to 2021 
FYI:
find ortools \( -type d -name .git -prune \) -o -type f -print0 | xargs -0 sed -i 's/\(Copyright 2010\)-2018/\1-2021/g'
 2021-04-01 21:00:53 +02:00
Laurent Perron
dab31c5fe0 polish logs 2021-03-12 15:07:44 +01:00