6616 Commits

Author SHA1 Message Date
Corentin Le Molgat
b05315de21 sat: backport from main 2025-09-22 17:24:20 +02:00
Corentin Le Molgat
67e1520a41 math_opt: backport from main 2025-09-22 17:23:15 +02:00
Corentin Le Molgat
90aad4ab4b routing: backport change from main 2025-09-17 16:27:47 +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
Laurent Perron
cc94abdb08 [FZ] minor improvements 2025-09-17 07:46:58 +02:00
Guillaume Chatelet
0ada091d1c Update ortools/port/BUILD.bazel 2025-09-16 17:13:26 +02:00
Guillaume Chatelet
2be8890e69 Update ortools/util/BUILD.bazel 2025-09-16 17:13: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
Mizux Seiha
2131e87519 julia: backport from main 2025-09-16 16:14:53 +02:00
Corentin Le Molgat
b27676402f math_opt: fixup 2025-08-29 18:08:51 +02:00
Mizux Seiha
c89483a0db math_opt: add cpp/model_test 2025-08-29 15:31:26 +02:00
Mizux Seiha
a144ae4033 math_opt: export few cpp/ tests 2025-08-29 15:31:26 +02:00
Mizux Seiha
bb745da2c2 base: rework to match google3 2025-08-29 15:31:26 +02:00
Corentin Le Molgat
5b7702910a math_opt: fix visibility issue 2025-08-27 15:10:10 +02:00
Corentin Le Molgat
e48814866f math_opt: cleanup 2025-08-27 15:10:01 +02:00
Mizux Seiha
805ef64029 Merge remote-tracking branch 'origin/main' into v99bugfix 2025-08-26 15:52:40 +02:00
Laurent Perron
127d33181a fix 2025-08-25 20:29:02 -07:00
Laurent Perron
c1f07efa83 fix 2025-08-25 17:28:36 -07:00
Laurent Perron
58c5805589 [FZ] refactor code; support nvalue natively 2025-08-25 17:27:25 -07:00
Corentin Le Molgat
e53a7fa6f9 cleanup from google3 2025-08-25 10:15:34 +02:00
Laurent Perron
25074dd812 [FZ] supports bin_packing* macros, avoid costly expansion 2025-08-22 16:07:26 -07:00
Laurent Perron
e02b6a013c [CP-SAT] update code, mostly small bug fixes 2025-08-22 16:06:35 -07:00
Guillaume Chatelet
3668bf6529 Remove unnecessary exports_files 2025-08-22 16:33:28 +02:00
Guillaume Chatelet
ce299310f6 Remove unnecessary exports_files 2025-08-22 14:21:26 +00:00
Corentin Le Molgat
ba7e81f729 ortools: various export from google3 2025-08-22 14:24:48 +02:00
Laurent Perron
6d31264b4a [FZ] support set_le and set_lt; turn off the nosets flag 2025-08-21 20:21:33 -07:00
Corentin Le Molgat
0d2c2e6782 lp_data: remove model_reader 2025-08-21 09:24:48 +02:00
Laurent Perron
2ebe759189 [FZ] support array_var_set_element 2025-08-20 18:43:09 -07:00
Laurent Perron
ba26576f20 [FZ] more work on native set support 2025-08-21 00:46:32 +02:00
Corentin Le Molgat
30805fd498 math_opt: fix gscip_from_mp_model_proto_test 2025-08-20 14:27:46 +02:00
Mizux Seiha
1bf2448981 cmake: fix math_opt update
* fix cxx build
* fix python build
2025-08-20 11:37:19 +02:00
Corentin Le Molgat
82bc28d3c1 math_opt: backport from google3
* move gscip/ to math_opt/solvers/
2025-08-20 11:36:44 +02:00
Mizux Seiha
4ca5464e48 cmake: fix ortools/util/python 2025-08-20 11:36:44 +02:00
Corentin Le Molgat
de5fbc46ab util/python: add solve interrupter 2025-08-20 11:36:43 +02:00
Corentin Le Molgat
fcf4bd181e base: add temp_file
port: rework file
2025-08-20 11:36:08 +02:00
Corentin Le Molgat
2a5ff961aa third_party_solvers: cleanup 2025-08-20 11:31:36 +02:00
Corentin Le Molgat
56882dd719 sat: remove license boilerplate in MD 2025-08-20 11:31:36 +02:00
Laurent Perron
a94366dc37 start supporting set variables and constraints in CP-SAT; this is inactive as nosets.mzn is still in place 2025-08-18 14:43:20 -07:00
Corentin Le Molgat
bd641e14b9 ortools: export from google3 2025-08-11 10:38:33 +02:00
Corentin Le Molgat
d830368b0a ortools: export from google3 2025-08-11 09:13:53 +02:00
Corentin Le Molgat
d206973ced bazel: fix sat loads 2025-08-08 09:07:52 +02:00
Corentin Le Molgat
3a97726664 linear_solver: backport .lp support to solve_model 2025-08-06 13:21:18 +02:00
Corentin Le Molgat
260856bf0f linear_solver: rework python typing 2025-08-06 13:20:32 +02:00
Corentin Le Molgat
9cde24d763 highs: rework HighsInterface::Solve 2025-08-06 10:59:09 +02:00
Corentin Le Molgat
80af949922 bazel: fix with_highs support 2025-08-06 10:58:29 +02:00
Corentin Le Molgat
2fd586595b bazel: fix more load statements 2025-08-06 10:57:31 +02:00
Corentin Le Molgat
0db80a34f6 sat: backport from main 2025-08-06 10:54:53 +02:00
Corentin Le Molgat
5d5a115dec util: add MatrixOrFunction 2025-08-06 10:53:59 +02:00
Corentin Le Molgat
bcf774e65a math_opt: backport from main 2025-08-06 10:53:04 +02:00
Laurent Perron
4ffb359524 [Bazel] enable highs for linear_solver by default; better support for highs in linear_solver; read .lp file in solve_model.py 2025-08-05 10:26:22 -07:00