Commit Graph

40 Commits

Author SHA1 Message Date
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
a7f49a2585 backport from main
* rename swig files .i in .swig
* update constraint_solver and routing
* backport math_opt changes
* move dynamic loading to ortools/third_party_solvers
2025-07-23 23:12:34 +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
e4db823952 more include cleaning 2023-08-25 03:51:16 +02:00
Corentin Le Molgat
d46ebfeabf integral_types.h to types.h 2023-08-18 16:14:58 +02:00
Corentin Le Molgat
6299064f79 linear_solver: cleanup _interface.cc 2023-06-07 14:45:35 +02:00
Laurent Perron
dfc36c7d7b typos, missing includes, automatic lint fixes 2023-05-30 23:23:26 +02:00
Corentin Le Molgat
459f4ec380 Export linear_solver/ from google3 2023-05-24 15:34:57 +02:00
Corentin Le Molgat
c7120439d4 Bump license date 2022-06-17 14:23:23 +02:00
Laurent Perron
9fefaadfaf [LP] change default tolerance on verify solution; add missing base include 2021-11-28 13:01:55 +01: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
6e15467065 linear solver: int64 -> int64_t; use new CP-SAT logging 2021-03-12 16:59:39 +01:00
Laurent Perron
a2dc7e9a8e big sync with internal code; mostly code reformating; a few fixes for CP-SAT; more work on bandit based concatenators for the routing library 2020-11-02 18:50:59 +01:00
Laurent Perron
6467dc69b0 reformat the code; [CP-SAT] add dominated columns presolve 2020-10-28 13:42:51 +01: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
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
Laurent Perron
dc3d9ccf84 internal improvemensts 2019-12-05 16:36:11 +01:00
Laurent Perron
f19fa34841 fix #1710 2019-11-13 09:28:01 +01:00
Laurent Perron
9c7adcb668 fix #1077 2019-07-18 12:52:32 -07:00
Laurent Perron
e49f50d4b9 internal fixes; move CP-SAT code around 2019-04-26 16:06:25 +02:00
Laurent Perron
f956f2ea1c fix cbc threads 2019-04-26 12:47:55 +02:00
Laurent Perron
6daa710a8e add multi thread support for CBC 2019-04-26 09:48:52 +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
428e272ccc add ModelStats and CpSolverResponseStats for SAT/{Python|Java|C#}; enable multiple enforcement literals for a few constraints; small fixes, typo corrections 2018-09-12 15:07:23 +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
a9dd4aec9a Remove CoeffMap typedef in linear_solver 2018-07-24 09:32:14 -07:00
Laurent Perron
70e73d8754 clang-format 2018-06-08 16:40:43 +02:00
Corentin Le Molgat
bd0fbd5fa6 Revert "Merge pull request #638 from yingzong/cbc_solver_params_2" (Fix #672)
This reverts commit 8ae61b6feb, reversing
changes made to 86cdb3584a.
2018-04-26 17:53:28 +02:00
Mizux
8ae61b6feb Merge pull request #638 from yingzong/cbc_solver_params_2
Add parameter passing to the CBC interface
2018-04-23 10:48:36 +02:00
Ying-zong Huang
4792fb9995 Fix string issues for multithreading 2018-04-21 04:38:25 -04:00
Laurent Perron
8623fc3580 speed up sat cumulative; add namespaces to base library + fix code 2018-04-11 13:00:30 +02:00
Ying-zong Huang
32e1e9e737 Add parameter passing to the CBC interface
Previously, CBCInterface does not read from solver-specific
parameters because there is no ReadParameterFile implemented.

This patch implements a ReadParameterFile that takes these
parameters, saves them in the CBCInterface instance, and passes
them to callCbc during Solve as additional arguments.

Tested to work with e.g. the "-threads" argument.

Addresses issue #57.
2018-03-30 19:49:05 -04:00
Laurent Perron
604587eec7 minor changes; change the search parameters in the cp_model.proto 2018-01-15 10:41:09 +01:00
Laurent Perron
2c7a8bf8f6 change copyright date 2017-10-17 13:08:10 +02:00
Amit Prakash Ambasta
744d507ccb Remove coin from include prefix 2017-06-09 18:23:47 +05:30
Laurent Perron
8c08d72260 replace hash_map and hash_set by unordered_map and unordered_set 2017-04-27 17:34:24 +02:00
Laurent Perron
66b8d23079 move src to ortools; simplified python generation; remove some namespaces in the ortools/base helper files 2017-04-26 17:30:25 +02:00