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
|
bd641e14b9
|
ortools: export from google3
|
2025-08-11 10:38:33 +02:00 |
|
Corentin Le Molgat
|
a66a6daac7
|
Bump Copyright to 2025
|
2025-01-10 11:35:44 +01:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
cd7a58718a
|
manage names
|
2023-05-06 09:03:28 +02:00 |
|
Corentin Le Molgat
|
1b011d076c
|
export from google3
|
2022-10-10 13:44:12 +02:00 |
|
Laurent Perron
|
488211ed64
|
Add empty stubs for Highs support, #3116
|
2022-10-03 13:19:26 +02:00 |
|
Laurent Perron
|
f39efd5ac8
|
fix, reindent, add tests
|
2022-09-27 18:00:48 +02:00 |
|
Corentin Le Molgat
|
c7120439d4
|
Bump license date
|
2022-06-17 14:23:23 +02:00 |
|
Laurent Perron
|
c82cfdc9ad
|
remove map_util from most of the code; absl::make_unique and absl::optional -> stl version
|
2022-03-09 09:08:40 +01:00 |
|
Mizux Seiha
|
a096ca219c
|
export few more proto
|
2022-02-26 01:47:32 +01:00 |
|
Laurent Perron
|
951e8bbc1e
|
bump pdlp; add log to linear_solver proto; fix bug in CP-SAT
|
2022-02-21 17:26:34 +01:00 |
|
Laurent Perron
|
3d60e313e6
|
add default solver type to linear_solver.proto
|
2022-02-19 09:57:37 +01:00 |
|
Laurent Perron
|
e1d25c96ee
|
generate proto3 version of the linear solver proto in C#
|
2022-02-15 18:33:14 +01:00 |
|
Laurent Perron
|
d510b97621
|
add pdlp to the code base; build it with bazel, call it through MPSolver
|
2022-02-09 10:48:30 +01:00 |
|
Corentin Le Molgat
|
683d1d12e1
|
sync with google code
|
2022-01-27 16:35:42 +01:00 |
|
Corentin Le Molgat
|
4e604d4bad
|
Sync code
|
2022-01-03 09:49:48 +01:00 |
|
Corentin Le Molgat
|
48c160c8d8
|
Export linear_solver to github
|
2021-08-27 11:04:22 +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
|
106499bc97
|
sync with internal code, no changes
|
2021-03-25 12:56:40 +01:00 |
|
Laurent Perron
|
03ff2cf744
|
polish gurobi/environment
|
2021-03-23 17:55:53 +01:00 |
|
Laurent Perron
|
6e15467065
|
linear solver: int64 -> int64_t; use new CP-SAT logging
|
2021-03-12 16:59:39 +01:00 |
|
Corentin Le Molgat
|
b5cbf77a73
|
Export from Google
|
2021-02-10 19:51:27 +01:00 |
|
Laurent Perron
|
1186dc6196
|
minor polish; update c# code in CP-SAT cookbook
|
2020-11-03 14:01:06 +01:00 |
|
Laurent Perron
|
6467dc69b0
|
reformat the code; [CP-SAT] add dominated columns presolve
|
2020-10-28 13:42:51 +01:00 |
|
Laurent Perron
|
bcb7b3073d
|
large synchro with internal code: linear solver: introduce intermediate SCIP layer called gscip; sat: more work on slow propagation detection; base: remove statusor, use abseil version; constraint solver: more work on internal local search
|
2020-10-18 16:38:25 +02:00 |
|
Laurent Perron
|
581d5606e0
|
fix #2005; massive rewrite of pure sat processing; RINS/RENS improvements in CP-SAT; get rid of base/status.h in favor of the absl version
|
2020-05-06 18:22:10 +02:00 |
|
Corentin Le Molgat
|
2d8c863c2a
|
Sync g3 -> gh Part 3
|
2020-03-10 11:06:08 +01:00 |
|
Corentin Le Molgat
|
22356ff523
|
Sync g3 -> gh part_2
|
2020-03-09 18:34:21 +01:00 |
|
Laurent Perron
|
617ff668d9
|
fix scaling issues
|
2019-11-06 16:53:21 +01:00 |
|
Laurent Perron
|
bc43e37c90
|
add sat inferface to the linear solver wrapper
|
2019-10-18 14:39:51 +02:00 |
|
Laurent Perron
|
439cebb9c8
|
polish xpress support
|
2019-09-04 15:20:45 +02:00 |
|
Laurent Perron
|
1387c63869
|
update linear solver code
|
2019-09-02 11:32:05 +02:00 |
|
Laurent Perron
|
6e5b4a9320
|
more constraints in linear solver
|
2019-08-09 11:53:35 -07:00 |
|
Laurent Perron
|
c36d1d7dc1
|
more type of constraints in the linear solver proto, support in SCIP
|
2019-08-06 15:56:27 -07:00 |
|
Laurent Perron
|
26013c5b6a
|
polish
|
2019-07-29 17:55:22 -07:00 |
|
Laurent Perron
|
d4c1816733
|
revamp gurobi direct proto solve
|
2019-07-24 16:49:10 -07:00 |
|
Laurent Perron
|
738d23fe4a
|
direct gurobi proto solve; support SOS in gurobi proto solve
|
2019-07-22 11:10:30 -07:00 |
|
Laurent Perron
|
4510eee224
|
bump linear solver code, add direct to proto solver for scip and gurobi, currently untested
|
2019-07-18 05:53:45 -07:00 |
|
Laurent Perron
|
7487f03c65
|
add branching priorities to MPSolver (supported by SCIP and Gurobi)
|
2019-06-17 11:35:17 +02:00 |
|
Laurent Perron
|
506112701b
|
add indicator constraint to the linear solver with SCIP and gurobi support
|
2019-04-18 16:44:47 +02:00 |
|
Laurent Perron
|
0b4cd18625
|
minor typos
|
2019-03-25 11:26:21 +01:00 |
|
Laurent Perron
|
87b9d55b21
|
update license headers
|
2018-11-10 18:00:53 +01:00 |
|
Laurent Perron
|
49b1bd617c
|
fix crash in presolve; minor reorg of the code
|
2018-07-27 14:03:55 -07:00 |
|
Laurent Perron
|
a9dd4aec9a
|
Remove CoeffMap typedef in linear_solver
|
2018-07-24 09:32:14 -07:00 |
|
Laurent Perron
|
8d7320b962
|
deep sync with base library; prepare for abseil.io integration
|
2017-12-08 14:52:49 +01:00 |
|
Laurent Perron
|
03fccb4032
|
improve incrementality of glop when used in the sat solver; change more copyright dates; more documentation on the gate scheduling problem
|
2017-10-18 11:09:13 +02:00 |
|
Laurent Perron
|
2c7a8bf8f6
|
change copyright date
|
2017-10-17 13:08:10 +02:00 |
|
Laurent Perron
|
9a299d7fae
|
minor improvement to internal comments
|
2017-09-08 13:58:10 +02:00 |
|
Laurent Perron
|
c2e1e16ac0
|
add solution observer on cp_model_solver
|
2017-07-10 11:12:05 -07:00 |
|