59 Commits

Author SHA1 Message Date
Laurent Perron
b5ca2d2905 Use Fractional everywhere 2025-05-27 14:34:37 +02:00
Corentin Le Molgat
62dca6e486 backport vlog_is_on.h patch from main 2025-03-13 15:56:35 +01:00
Corentin Le Molgat
d4acbe81ce replace base/logging.h by absl/log/log.h 2025-02-25 11:16:30 +01:00
Corentin Le Molgat
a66a6daac7 Bump Copyright to 2025 2025-01-10 11:35:44 +01:00
Laurent Perron
4cbd27dae9 sync with main 2024-05-30 10:52:42 +02:00
Mizux Seiha
a76bf1c5dd bump license boilerplate 2024-01-04 13:43:15 +01:00
Corentin Le Molgat
bd63e8a355 glop: update 2023-11-21 11:56:52 +01:00
Laurent Perron
72f274f844 Change proto to/from file API to use absl::StatusOr; add reader/writer proto_file to model_builder 2023-11-20 16:13:03 +01:00
Laurent Perron
9d60a53132 [GLOP] remove very small coefficients 2023-11-17 11:58:02 +01:00
Laurent Perron
b71a3946d9 tweak includes 2023-05-04 18:21:24 +02:00
Laurent Perron
300631d62b minor cleanup, missing std includes 2023-04-05 14:00:30 +02:00
Laurent Perron
ee8b9e0989 add solver to glop versions string 2022-12-24 15:05:38 +01:00
Laurent Perron
2d0caf7456 add v before the version 2022-12-20 13:48:58 +01:00
Laurent Perron
1f8a0a7770 Add version string to sat/glop; export MPSolver::SolverVersion() in python/java/C# 2022-12-20 11:54:29 +01:00
Mizux Seiha
7a823314eb export from google3 2022-06-21 11:35:03 +02:00
Corentin Le Molgat
c7120439d4 Bump license date 2022-06-17 14:23:23 +02:00
Corentin Le Molgat
8dc806710a cpp: sync from google3 2022-05-27 15:13:48 +02:00
Laurent Perron
abf69d39fe fix bug 2022-03-25 15:10:39 +01:00
Laurent Perron
147eb74406 remove unused includes 2022-02-04 14:19:10 +01:00
Corentin Le Molgat
729ba81219 sync 2022-02-03 16:42:24 +01:00
Laurent Perron
72cec58d22 mostly reformat 2022-01-24 12:47:15 +01:00
Corentin Le Molgat
a40295d79c Sync from google 2022-01-21 17:51:38 +01:00
Corentin Le Molgat
d0a38f7ab9 sync glop 2022-01-18 11:06:06 +01:00
Corentin Le Molgat
99f7c8ae59 sync glop 2022-01-17 09:28:02 +01:00
Laurent Perron
2fff96092a [GLOP] fix bazel on windows; add parameter to report or not imprecise status; add missing include 2021-11-28 12:58:51 +01:00
Laurent Perron
028dc3b39f [GLOP] remove unused flag; do not recompute prices if we are not going to use them 2021-11-16 23:52:58 +01:00
Laurent Perron
88eb0abfe9 [GLOP] fix crash 2021-10-25 11:45:53 +02:00
Laurent Perron
1042b4e7a7 [GLOP] improve status reporting 2021-10-08 14:06:31 +02:00
Laurent Perron
68ad906667 use the solver logging class in GLOP 2021-10-07 17:32:30 +02:00
Laurent Perron
5496c87aa2 minor improvement in glop presolve 2021-08-12 15:23:02 +02:00
Laurent Perron
790c947453 remove forced slacks in glop 2021-07-23 21:54:59 +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
0b85ce429c allow overriding the glop parameters 2021-03-19 16:24:52 +01:00
Laurent Perron
e14760e4b2 reduce memory usage in glop preprocessor 2021-03-11 21:05:52 +01:00
Laurent Perron
5a77249409 [GLOP] honor the MPSolver enable/suppress output 2020-12-18 10:04:45 +01:00
Laurent Perron
6467dc69b0 reformat the code; [CP-SAT] add dominated columns presolve 2020-10-28 13:42:51 +01:00
Laurent Perron
f1bb445810 first version without gflags and glog
* Add custom glog using absl::flags
* Fix lpi_glop patch to use absl::flags

Abseil:
* remove gflags and glog deps

Make:
* remove gflags and glog deps (unix & windows)
* regenerate makefile.gen.mk
* Cleanup install recipe
* Cleanup archive
* Cleanup doc
2020-10-24 00:49:50 +02:00
Mizux Seiha
20d0496bfb reapply google format 2020-10-23 00:45:17 +02:00
Laurent Perron
a4258f2bdf switch flags setters and getters to the absl format 2020-10-21 00:21:54 +02:00
Laurent Perron
b8a1ab7dc0 fix glop status 2020-08-17 18:06:14 +02:00
Laurent Perron
7268ce5589 add incremental in-search preprocessing to SAT; fix #2040; fix rare check in glop 2020-06-03 12:07:07 +02:00
Laurent Perron
dc3d9ccf84 internal improvemensts 2019-12-05 16:36:11 +01:00
Laurent Perron
e0744e1fd0 minor glop optim 2019-04-10 10:34:21 -07:00
Laurent Perron
c9b7d58e5a plenty of minor format issues; fix one numerical issue with glop; improve cut management in CP-SAT; automatic tightening of big-M in CP-SAT 2019-04-08 19:00:46 +02:00
Corentin Le Molgat
b027e57e95 dotnet: Remove reference to dotnet release command
- Currently not implemented...

Add abseil patch

- Add patches/absl-config.cmake

Makefile: Add abseil-cpp on unix

- Force abseil-cpp SHA1 to 45221cc
  note: Just before the PR #136 which break all CMake

Makefile: Add abseil-cpp on windows

- Force abseil-cpp SHA1 to 45221cc
  note: Just before the PR #136 which break all CMake

CMake: Add abseil-cpp

- Force abseil-cpp SHA1 to 45221cc
  note: Just before the PR #136 which break all CMake

port to absl: C++ Part

- Fix warning with the use of ABSL_MUST_USE_RESULT
  > The macro must appear as the very first part of a function
    declaration or definition:
    ...
    Note: past advice was to place the macro after the argument list.
  src: dependencies/sources/abseil-cpp-master/absl/base/attributes.h:418
- Rename enum after windows clash
- Remove non compact table constraints
- Change index type from int64 to int in routing library
- Fix file_nonport compilation on windows
- Fix another naming conflict with windows (NO_ERROR is a macro)
- Cleanup hash containers; work on sat internals
- Add optional_boolean sub-proto

Sync cpp examples with internal code
- reenable issue173 after reducing number of loops

port to absl: Python Part

- Add back cp_model.INT32_MIN|MAX for examples

Update Python examples

- Add random_tsp.py
- Run words_square example
- Run magic_square in python tests

port to absl: Java Part

- Fix compilation of the new routing parameters in java
- Protect some code from SWIG parsing

Update Java Examples

port to absl: .Net Part

Update .Net examples

work on sat internals; Add C++ CP-SAT CpModelBuilder API; update sample code and recipes to use the new API; sync with internal code

Remove VS 2015 in Appveyor-CI

- abseil-cpp does not support VS 2015...

improve tables

upgrade C++ sat examples to use the new API; work on sat internals

update license dates

rewrite jobshop_ft06_distance.py to use the CP-SAT solver

rename last example

revert last commit

more work on SAT internals

fix
2018-11-30 14:48:55 +01:00
Laurent Perron
87b9d55b21 update license headers 2018-11-10 18:00:53 +01:00
Laurent Perron
4e893e5080 remove solow-halim glop preprocessor as the interface has changed a lot; add a proper domain class for CP-SAT integer variables, rewrite preprocessor and other parts of the solver to use it 2018-10-02 10:35:52 +02:00
Laurent Perron
4caaef3c23 deep sync with base library renaming; lint checking; Speedup sat; new crash procedure for glop 2018-08-28 11:19:49 +02:00
Laurent Perron
70e73d8754 clang-format 2018-06-08 16:40:43 +02:00
Laurent Perron
9402f58d1d change sat internal API; stop ignoring random seed in glop 2018-05-16 13:43:29 +02:00