30 Commits

Author SHA1 Message Date
Guillaume Chatelet
69dc22f35d Update linear solver build (#4945) 2025-12-15 13:06:58 +01: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
Corentin Le Molgat
459f4ec380 Export linear_solver/ from google3 2023-05-24 15:34:57 +02:00
Corentin Le Molgat
f98afa8e42 Add missing STL include 2022-07-22 16:25:40 +02:00
Mizux Seiha
a6ace348d5 Add base/helpers.h 2022-06-22 08:28:30 +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
79c8864bfa fix bug when interrupting a linear solver 2021-01-11 17:08:40 +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
bc43e37c90 add sat inferface to the linear solver wrapper 2019-10-18 14:39:51 +02:00
Laurent Perron
916e3136ec add new error type in status/canonical_errors; savings improvement in the routing library; scip_interface rewrite; first steps in CP-SAT cuts management 2019-01-02 16:35:40 +01:00
Laurent Perron
0bc9b79bf2 minor sync with internal code; prepare glop for more incrementality when used inside the CP-SAT solver 2018-12-03 18:55:22 +01: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
a9dd4aec9a Remove CoeffMap typedef in linear_solver 2018-07-24 09:32:14 -07:00
Laurent Perron
8e7db4fbda use std::atomic<bool> in external boolean for time limit 2018-07-04 13:31:00 +02:00
Laurent Perron
70e73d8754 clang-format 2018-06-08 16:40:43 +02:00
Laurent Perron
8623fc3580 speed up sat cumulative; add namespaces to base library + fix code 2018-04-11 13:00:30 +02: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
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