72 Commits

Author SHA1 Message Date
Guillaume Chatelet
30a7baee6d Add vector reserve to examples/cpp 2026-01-07 15:57:38 +01:00
Mizux Seiha
cf72696d00 examples/cpp: backport from main 2025-03-04 21:10:09 +01:00
Mizux Seiha
c96c824034 backport examples from main 2025-02-25 16:03:40 +01:00
Corentin Le Molgat
a66a6daac7 Bump Copyright to 2025 2025-01-10 11:35:44 +01:00
Corentin Le Molgat
c76a9a424a backport example/ from main 2024-05-30 10:51:54 +02:00
Mizux Seiha
a76bf1c5dd bump license boilerplate 2024-01-04 13:43:15 +01:00
Laurent Perron
5b911b1169 [CP-SAT] add ~operator for the logical negation in C++ and Python; fix a bug in C# 2023-12-15 14:10:44 +01:00
Laurent Perron
55642325ce huge improvement to binpacking_2d_sat code 2023-10-25 17:05:47 +02:00
Laurent Perron
d07127d40a [CP-SAT] revisit search heuristics, lns workers search heuristics; scheduling propagation 2023-10-02 19:52:11 +02:00
Laurent Perron
9e724b427f polish includes 2023-09-21 13:07:50 +02:00
Corentin Le Molgat
aa0e719d02 Export examples/cpp/ from google3
* Rework network_routing_sat
2023-06-30 12:01:20 +02:00
Laurent Perron
dbd5a69471 use new logging flags 2023-02-17 15:17:12 +01:00
Laurent Perron
f7b0c37f0c fix 2023-02-11 04:27:31 -08:00
Laurent Perron
ad1b8ee5e4 set problem name; ure richer model for rcpsp 2022-07-28 00:22:08 +02:00
Corentin Le Molgat
c7120439d4 Bump license date 2022-06-17 14:23:23 +02:00
Laurent Perron
b3582ca743 remove redundant linear relaxation for the durations of tasks in the jobshop example 2022-04-21 17:30:26 +02:00
Laurent Perron
4c8570a57c use init_google.h in c++ examples 2022-02-25 09:47:52 +01:00
Laurent Perron
ceabca677c [CP-SAT] ScalProd -> WeightedSum 2022-01-04 19:35:22 +01:00
Laurent Perron
0c22a715b2 [CP-SAT] improve doc on C++ builder API; rewrite python API to remove the DoubleLinearExpr class 2021-12-14 17:15:17 +01:00
Laurent Perron
bd51fa48c4 implement #2699 2021-12-12 08:11:11 +01:00
Laurent Perron
a7a4d84f42 [CP-SAT] improve cp_model.h; improve examples with arithmetic operators 2021-12-11 12:24:04 +01:00
Laurent Perron
6ae332569b natural API for Cp_SAT C++ 2021-12-09 15:29:49 +01:00
Laurent Perron
2d22667f30 [CP-SAT] deprecate BooleanSum and BooleanScalProd in favor of Sum and ScalProd 2021-12-08 16:29:40 +01:00
Laurent Perron
65951e1b13 fix example 2021-11-19 10:33:29 +01:00
Corentin Le Molgat
6a1b135e58 Sync examples/cpp 2021-10-27 17:17:07 +02:00
Laurent Perron
f6fa781fa4 split ortools/data into ortools/scheduling and ortools/packing 2021-09-28 15:58:37 +02:00
Laurent Perron
84a51c8e0a new model for SDST jobshops 2021-09-16 17:43:32 +02:00
Laurent Perron
5763e5e8da improve jobshop_sat example 2021-09-14 17:33:20 +02:00
Laurent Perron
324ae93e64 improve jobshop_sat.cc code 2021-09-13 13:10:12 +02:00
Laurent Perron
0896548a8e improve jobshop_sat: fix bug in transitions; remove search heuristics as default is better 2021-07-15 15:36:11 +02:00
Laurent Perron
072938b720 rewrite rcpsp_sat example 2021-06-29 17:20:38 +02:00
Laurent Perron
47520a3fb6 polish examples 2021-04-26 11:06:34 +02:00
Laurent Perron
29791a179f reindent, add #include <cstding> 2021-04-23 14:55:51 +02:00
Corentin Le Molgat
baf02eca7e update examples 2021-04-02 16:05:40 +02:00
Mizux Seiha
c0f6978f3b Update copyright 2021-04-02 10:08:51 +02:00
Laurent Perron
805b733f98 sync most c++ examples 2021-01-14 10:48:19 +01:00
Laurent Perron
425901d7d0 new course scheduling example; sync c++ examples with internal code 2021-01-05 22:13:51 +01:00
Corentin Le Molgat
e4caaf96bc format file forcing the left alignment 2020-10-29 14:25:39 +01:00
Mizux Seiha
66bc68192f Fix examples 2020-10-24 00:50:28 +02:00
Mizux Seiha
20d0496bfb reapply google format 2020-10-23 00:45:17 +02:00
Laurent Perron
288d3f5ed4 fix examples 2020-10-21 00:28:40 +02:00
Laurent Perron
a4258f2bdf switch flags setters and getters to the absl format 2020-10-21 00:21:54 +02:00
Laurent Perron
b78002be05 remove CP-SAT SolveWithModel, keep the equivalent SolveCpModel; optimize internal model 2019-05-15 20:19:00 +02:00
Laurent Perron
cd6bf20fe5 mostly reindent of examples 2019-05-06 10:31:03 +02:00
Laurent Perron
17b9b597a1 change CP-SAT C++ Api to call Build() on the model before solving; use log_search_progress parameters to display all log; enable this parameter in non C++ language; call InitGoogleLogging() automatically in non C++ languages 2019-04-05 14:58:33 +02:00
Laurent Perron
1d04b1738d move routing code around; cleanup examples 2018-12-18 15:45:34 +01:00
Laurent Perron
8b6da37ed5 revert last commit 2018-12-01 16:06:18 +01:00
Laurent Perron
7ca7fc393a remove template specialization in min/max after int64 revamp 2018-12-01 15:20:35 +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
4c661f07ae remove jobshop_earlytardy; add support for earliness in jobshop_sat; improve jobshop_scheduling_parser to support jet file (Jobshop Early Tardy) 2018-11-23 15:25:12 +01:00