These commits are when the Protocol Buffers files have changed: (only the last 100 relevant commits are shown)
| Commit: | abdb092 | |
|---|---|---|
| Author: | Laurent Perron | |
big sync, mostly bazel rules, java reindent
| Commit: | d8b424e | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
math_opt: xpress fixup
| Commit: | 8eeb218 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
math_opt: cleanup
| Commit: | d5e4a7a | |
|---|---|---|
| Author: | Daniel Junglas | |
| Committer: | Mizux Seiha | |
Implement callback support for Xpress We implement full support for the callback in Xpress. The Xpress implementation supports all events and all features of the ortools callbacks. We also added a "solution source" attribute to the callback data in case of the MIP_SOLUTION event because we think this can be useful. In general the Xpress callback is much richer than what the ortools callback offers but we did not want to add too many things that could be Xpress-specific and might not be available with other solvers. Co-authored-by: Francesco Cavaliere <francescocavaliere@fico.com>
| Commit: | b584eba | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
math_opt: cleanup * remove uneeded deps * add missing go proto generation
| Commit: | 1c04eb5 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
proto: keep edition 2024
| Commit: | 40d4223 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
proto: fix file structure
| Commit: | 18e3155 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Corentin Le Molgat | |
proto: keep edition 2024
| Commit: | d21165e | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Corentin Le Molgat | |
proto: fix file structure
| Commit: | 05d1bdf | |
|---|---|---|
| Author: | Lain | |
| Committer: | Vitor Sessak | |
Add option to disable NoOverlap to AllDiff presolve
| Commit: | 144f938 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
packing: export from google3
| Commit: | ed49a05 | |
|---|---|---|
| Author: | Guillaume Chatelet | |
| Committer: | GitHub | |
Export sat (#5344)
| Commit: | c0d4e97 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
glop: rework test
| Commit: | f939e04 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Corentin Le Molgat | |
glop: rework test
| Commit: | 38dd063 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
ortools: cleanup comments and format
| Commit: | 8cba622 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
pdlp: proto format
| Commit: | 5e963f5 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
pdlp: proto format
| Commit: | 501c055 | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Corentin Le Molgat | |
[CP-SAT] delete unused fuzzer files; fix many typos
| Commit: | 568d48c | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Corentin Le Molgat | |
Fixes * missing includes * fix includes
| Commit: | 819e48b | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
sat: fix typo
| Commit: | 3534a73 | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Laurent Perron | |
fixes
| Commit: | 1085db6 | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Mizux Seiha | |
[CP-SAT] improve scheduling_model, multiple presolve rules; utilities and code on circuits
| Commit: | 5b349ab | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Mizux Seiha | |
fixes
| Commit: | 75926fb | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Mizux Seiha | |
[CP-SAT] improve scheduling_model, multiple presolve rules; utilities and code on circuits
| Commit: | a3cfc49 | |
|---|---|---|
| Author: | Laurent Perron | |
fixes
| Commit: | d865433 | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] improve scheduling_model, multiple presolve rules; utilities and code on circuits
| Commit: | e1a1a3b | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
sat: export from google3
| Commit: | 9b0ec90 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
routing: export from google3
| Commit: | ef7841e | |
|---|---|---|
| Author: | Corentin Le Molgat | |
routing: export from google3
| Commit: | e4daa66 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
cleanup
| Commit: | 512d992 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
bop: remove experimental and unused exploit_symmetry_in_sat_first_solution heuristic.
| Commit: | e4278ec | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
proto: format update
| Commit: | 64a14e0 | |
|---|---|---|
| Author: | Guillaume Chatelet | |
| Committer: | GitHub | |
Update C++ includes (#5264)
| Commit: | 8a55115 | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Mizux Seiha | |
[CP-SAT] work on solution crushing
| Commit: | c691ffc | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] work on solution crushing
| Commit: | 9284f64 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
linear_solver: export from google3
| Commit: | c080ef1 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
javatests: cleanup
| Commit: | 400e69e | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
cleanup
| Commit: | 9a17291 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
glop: Rename LPSolver::SolveWithDetails() → LPSolver::Solve().
| Commit: | d023d86 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
cleanup header
| Commit: | 4e54ad9 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
javatests: cleanup
| Commit: | 401ce59 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
cleanup
| Commit: | cb7980e | |
|---|---|---|
| Author: | Corentin Le Molgat | |
glop: Rename LPSolver::SolveWithDetails() → LPSolver::Solve().
| Commit: | ffed815 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
cleanup header
| Commit: | 7b36943 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
ortools: export from google3
| Commit: | 37d6943 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
math_opt: export from google3
| Commit: | 3b639b5 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
math_opt: export from google3
| Commit: | 2d971cf | |
|---|---|---|
| Author: | Corentin Le Molgat | |
math_opt: export from google3
| Commit: | ec08fca | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] work on probing search; presolve
| Commit: | fa46c66 | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] new subsolver: shaving; tweak probing subsolver; more presolve; misc
| Commit: | ac98faf | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
math_opt: add java wrapper * add ortools/java/com/google/ortools/mathopt/ * add ortools/java/com/google/ortools/mathopt/testing
| Commit: | e4105ff | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
util: add status.proto
| Commit: | 868d7fc | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Laurent Perron | |
[CP-SAT] work on probing, shared tree search
| Commit: | 8e8a51b | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Laurent Perron | |
[CP-SAT] work on probing, lns, presolve...
| Commit: | 96d56ea | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Mizux Seiha | |
sat: huge sync
| Commit: | ab6075e | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Corentin Le Molgat | |
sat: huge sync
| Commit: | a7a4c5d | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Laurent Perron | |
sat: huge sync
| Commit: | e8c0616 | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Laurent Perron | |
sat: huge sync
| Commit: | 1874aee | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
math_opt: cleanup
| Commit: | 7776e23 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
routing: export from google3
| Commit: | 4e88f53 | |
|---|---|---|
| Author: | Guillaume Chatelet | |
Remove file_util_tests
| Commit: | 53fd9d4 | |
|---|---|---|
| Author: | Guillaume Chatelet | |
| Committer: | Guillaume Chatelet | |
Add more ortools/util tests, update benchmarks
| Commit: | fb03043 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
glop: export from google3
| Commit: | 411d7a8 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
set_cover: export from google3
| Commit: | f14a4ca | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
python: export cleanup from google3 * export util from g3 * export linear_solver update
| Commit: | fe78c66 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Corentin Le Molgat | |
math_opt: rework xpress support
| Commit: | 62ad624 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Corentin Le Molgat | |
constraint_solver: fixup
| Commit: | 1cafed2 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
math_opt: backport from main
| Commit: | 81a2c30 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
set_cover: backport from main
| Commit: | d05ee57 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
bop: backport from main
| Commit: | 740539e | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Corentin Le Molgat | |
sat: backport from main
| Commit: | d4e7ae0 | |
|---|---|---|
| Author: | kiijeonghoo | |
| Committer: | Corentin Le Molgat | |
linear_solver: backport from main * implement logcallback for HiGHS
| Commit: | c435cca | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Corentin Le Molgat | |
util: backport from main
| Commit: | c9428c1 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
proto: fix package namespace
| Commit: | 73395ef | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
math_opt: export from google3
| Commit: | c38c95e | |
|---|---|---|
| Author: | Laurent Perron | |
big cleanup; rename bazel targets, move code around. Work on CP-SAT gates; LNS and LS model reductions when possible
| Commit: | dfb573d | |
|---|---|---|
| Author: | Laurent Perron | |
fix #5066
| Commit: | 2c54173 | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] simplify lns model when possible; reimplement max_hs
| Commit: | a07ec2a | |
|---|---|---|
| Author: | Laurent Perron | |
remove knapsack solver interface
| Commit: | 25674fb | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
format fix
| Commit: | d85252d | |
|---|---|---|
| Author: | Laurent Perron | |
clean oneof in pb11 protobuf generator
| Commit: | 120a544 | |
|---|---|---|
| Author: | Laurent Perron | |
code reorg
| Commit: | c6772d4 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
base: rework logging management * remove base/logging * add base/log_severity.h overload * rework ortools/port
| Commit: | e5dc9d7 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
math_opt: rework java support
| Commit: | ec1a548 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
routing: export from google3
| Commit: | b5105a6 | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] fix scheduling bugs: wrong explanations; unsafe heuristics; more work on lrat; switch max_hs to use CP-SAT as MIP solver; other bugfixes
| Commit: | b208686 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
set_cover: export from google3
| Commit: | 85eb377 | |
|---|---|---|
| Author: | Laurent Perron | |
move assignment.h out of constraint_solver.h; fix salted hash maps on linux
| Commit: | cd4ed09 | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Laurent Perron | |
[CP-SAT] new scaling method, bugfixes, special LRAT compatible sat presolve
| Commit: | e1b8383 | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] better scaling; improve sat sweeping
| Commit: | 821ce39 | |
|---|---|---|
| Author: | Laurent Perron | |
move proto custom wrapper generator to util/python
| Commit: | ff5a2c1 | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] tune the code; improve lrat; work on encodings
| Commit: | 7fc83eb | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
routing: removing the Routing prefix to some of the main classes. Now that the routing namespace has been created, we don't need it anymore. Added aliases to maintain compatibility in C++. List of renamed classes: - routing::RoutingModel -> routing::Model - routing::RoutingDimension -> routing::Dimension - routing::RoutingSearchStats -> routing::SearchStats - routing::RoutingModelVisitor -> routing::ModelVisitor - routing::RoutingLinearSolverWrapper -> routing::LinearSolverWrapper - routing::RoutingGlopWrapper -> routing::GlopWrapper - routing::RoutingCPSatWrapper -> routing::CPSatWrapper - routing::RoutingSolution -> routing::Solution routing: disable compatibility `using` when calling swig
| Commit: | e6253f4 | |
|---|---|---|
| Author: | Laurent Perron | |
speed up weighted sum for model_builder and sat python; more work on lrat; speed improvement on probing; add TrivialLiteral repository
| Commit: | 8d3645a | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Corentin Le Molgat | |
[CP-SAT] fix vivification bug; more work on encodings
The documentation is generated from this commit.
| Commit: | 0fe7cb5 | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Corentin Le Molgat | |
fixes
| Commit: | b3d4c95 | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] fix vivification bug; more work on encodings
| Commit: | 8deba9a | |
|---|---|---|
| Author: | Laurent Perron | |
fixes
| Commit: | 562ffd7 | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Corentin Le Molgat | |
[CP-SAT] more work on lrat; cleanup memory management in scheduling clauses; improve encoded only variable expansion; fix a few bugs
| Commit: | 6d76575 | |
|---|---|---|
| Author: | Guillaume Chatelet | |
| Committer: | Corentin Le Molgat | |
Format xpress files