Laurent Perron
|
61914c7c0b
|
minor reindent; fix binpacking_2d_sat corner case
|
2024-03-14 15:04:39 +01:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
d07127d40a
|
[CP-SAT] revisit search heuristics, lns workers search heuristics; scheduling propagation
|
2023-10-02 19:52:11 +02:00 |
|
Corentin Le Molgat
|
aa0e719d02
|
Export examples/cpp/ from google3
* Rework network_routing_sat
|
2023-06-30 12:01:20 +02:00 |
|
Corentin Le Molgat
|
c7120439d4
|
Bump license date
|
2022-06-17 14:23:23 +02:00 |
|
Laurent Perron
|
2d22667f30
|
[CP-SAT] deprecate BooleanSum and BooleanScalProd in favor of Sum and ScalProd
|
2021-12-08 16:29:40 +01:00 |
|
Mizux Seiha
|
c0f6978f3b
|
Update copyright
|
2021-04-02 10:08:51 +02:00 |
|
Corentin Le Molgat
|
e4caaf96bc
|
format file forcing the left alignment
|
2020-10-29 14:25:39 +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 |
|
Mizux Seiha
|
ea95fb1c40
|
Format all examples/cpp
|
2020-09-23 11:45: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
|
798b9e73e2
|
fix the rest of the C++ examples
|
2018-11-30 14:48:55 +01:00 |
|
Laurent Perron
|
75ddef3af0
|
add reference to the slitherlink problem
|
2018-11-22 04:37:08 -08:00 |
|
Laurent Perron
|
78d31daf0f
|
remove model_util example; port slitherlink to CP-SAT; port sports_scheduling to CP-SAT; fix test_cc
|
2018-11-22 01:30:28 -08:00 |
|