Corentin Le Molgat
|
fdfc6af03e
|
rework ortools samples (#4590)
|
2025-05-16 18:02:19 +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
|
87ca4f58ad
|
[CP-SAT] bump license years; fix scheduling cuts; improve lb_tree_search
|
2022-06-16 15:21:00 +02:00 |
|
Laurent Perron
|
8fe2df9a18
|
[CP-SAT] regenerates all includes; improve core solver when the objective is pseudo-boolean
|
2022-02-15 18:00:11 +01:00 |
|
Laurent Perron
|
79f2c45c33
|
[CP-SAT] Use AddExactly/AtMostOne in examples/samples; add int_square presolve; add multiplication constraint with target = left * right
|
2022-01-01 19:26:39 +01:00 |
|
Laurent Perron
|
6ae332569b
|
natural API for Cp_SAT C++
|
2021-12-09 15:29:49 +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
|
a7570d1ae6
|
polish sat samples
|
2021-02-15 12:26:37 +01:00 |
|
Laurent Perron
|
57e6460647
|
more work on SAT
|
2020-06-05 16:11:35 +02:00 |
|