These commits are when the Protocol Buffers files have changed: (only the last 100 relevant commits are shown)
| 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: | f14a4ca | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
python: export cleanup from google3 * export util from g3 * export linear_solver update
| Commit: | 411d7a8 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
set_cover: export from google3
| 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: | ec1a548 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
routing: export from google3
| Commit: | e5dc9d7 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Mizux Seiha | |
math_opt: rework java support
| 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: | 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
| Commit: | 5d97307 | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] more work on lrat; cleanup memory management in scheduling clauses; improve encoded only variable expansion; fix a few bugs
| Commit: | ec2344c | |
|---|---|---|
| Author: | Guillaume Chatelet | |
Format xpress files
| Commit: | dfcec1f | |
|---|---|---|
| Author: | Mizux Seiha | |
| Committer: | Mizux Seiha | |
routing: backport from main
| Commit: | 26b0143 | |
|---|---|---|
| Author: | Mizux Seiha | |
math_opt: backport from main
| Commit: | 1666cf4 | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Mizux Seiha | |
routing improvements
| Commit: | cd84b4a | |
|---|---|---|
| Author: | Laurent Perron | |
routing improvements
| Commit: | 8f757dc | |
|---|---|---|
| Author: | Daniel Junglas | |
| Committer: | GitHub | |
Merge branch 'main' into xpress-use-optimizer-function
| Commit: | 762bc06 | |
|---|---|---|
| Author: | Daniel Junglas | |
Document special "controls".
| Commit: | be07aa2 | |
|---|---|---|
| Author: | Daniel Junglas | |
| Committer: | Daniel Junglas | |
Introduce init arguments to control how names are extracted.
| Commit: | 3b18bdd | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Corentin Le Molgat | |
[CP-SAT] morework on lrat
| Commit: | 142e752 | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] morework on lrat
| Commit: | b880e0f | |
|---|---|---|
| Author: | Guillaume Chatelet | |
| Committer: | Mizux Seiha | |
Use new bintest framework (#4928)
| Commit: | 5661315 | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Corentin Le Molgat | |
[CP-SAT] work on lrat; work in inprocessing; fix bug with reduced variables domains and hints
| Commit: | 05e5d32 | |
|---|---|---|
| Author: | Guillaume Chatelet | |
| Committer: | GitHub | |
Use new bintest framework (#4928)
| Commit: | 7051b66 | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] work on lrat; work in inprocessing; fix bug with reduced variables domains and hints
| Commit: | cd37bac | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Corentin Le Molgat | |
backport sat from main
| Commit: | d15a2e6 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Corentin Le Molgat | |
math_opt: export from google3
| Commit: | d18ca9a | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Corentin Le Molgat | |
math_opt: export from google3
| Commit: | 402aef7 | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] more work on lrat; expose response.solve_log in C#, Java, python
| Commit: | 5fc3aff | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Corentin Le Molgat | |
routing: export from google3
| Commit: | 1ccab56 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
routing: export from google3
| Commit: | 29ffc72 | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Corentin Le Molgat | |
[CP-SAT] work on lrat; probing; variable encoding
| Commit: | 75d10ed | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] work on lrat; probing; variable encoding
| Commit: | 1b4d75c | |
|---|---|---|
| Author: | Corentin Le Molgat | |
sat: backport from main
| Commit: | 600a17f | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] more work on lrat, encoding optimization; clauses engine optimization; clause congruence implementation
| Commit: | ff62bd5 | |
|---|---|---|
| Author: | Guillaume Chatelet | |
| Committer: | GitHub | |
Update routing folder (#4894)
| Commit: | 7881ad6 | |
|---|---|---|
| Author: | Daniel Junglas | |
| Committer: | Daniel Junglas | |
Support arbitrary Xpress parameters.
| Commit: | c2d8dd4 | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] work on integer resolution; lrat proofs; optimize scheduling cuts; fix #4875
| Commit: | 0cbdbb7 | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Corentin Le Molgat | |
[CP-SAT] little cleanups
| Commit: | 5d85f84 | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Corentin Le Molgat | |
[CP-SAT] fix #4839; experimental code for lrat checker; experimental code to control the boolean expansion of small linear2 equations
| Commit: | 1635ce0 | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] little cleanups
| Commit: | a796904 | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] fix #4839; experimental code for lrat checker; experimental code to control the boolean expansion of small linear2 equations
| Commit: | 29a74e7 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Corentin Le Molgat | |
base: backport rework from main
| Commit: | b05315d | |
|---|---|---|
| Author: | Corentin Le Molgat | |
sat: backport from main
| Commit: | ac501a2 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Corentin Le Molgat | |
service: export from google3
| Commit: | e9a858d | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] encoding work; revisit drat code
| Commit: | 9d1fa0d | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Corentin Le Molgat | |
routing: Fix HeuristicParameters namespace in java and .Net
| Commit: | 90aad4a | |
|---|---|---|
| Author: | Corentin Le Molgat | |
routing: backport change from main
| Commit: | 52c0f0d | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Corentin Le Molgat | |
routing: export from google3
| Commit: | a841258 | |
|---|---|---|
| Author: | Laurent Perron | |
| Committer: | Corentin Le Molgat | |
[CP-SAT] misc improvements to the internals; more work on general constraints with enforcements
| Commit: | e09c37c | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] misc improvements to the internals; more work on general constraints with enforcements
| Commit: | 4f381f6 | |
|---|---|---|
| Author: | Mizux Seiha | |
backport from main: * bump abseil to 20250814 * bump protobuf to v32.0 * cmake: add ccache auto support * backport flatzinc, math_opt and sat update
| Commit: | ddf3ecb | |
|---|---|---|
| Author: | Guillaume Chatelet | |
Rewrite u_or into ortools
| Commit: | 57dd6c1 | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] turn on glue clause sharing by default; big fixes
| Commit: | 1eb3348 | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] all constraints now support enforcement literals; all supports arbitrary linear expressions
| Commit: | 24197c8 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Corentin Le Molgat | |
math_opt: export fixup from google3
| Commit: | 1f483d5 | |
|---|---|---|
| Author: | Corentin Le Molgat | |
| Committer: | Corentin Le Molgat | |
math_opt: export more cpp/ tests
| Commit: | 0e7b4c6 | |
|---|---|---|
| Author: | Laurent Perron | |
[CP-SAT] support enforcement literals for most constraints; support general linear expressions everywhere 1-var affine expressions were expected