Corentin Le Molgat
|
a66a6daac7
|
Bump Copyright to 2025
|
2025-01-10 11:35:44 +01:00 |
|
Laurent Perron
|
21a75638c2
|
partial sync with main (without the routing part)
|
2024-07-12 13:56:11 +02:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
b1735c682b
|
improve doc
|
2022-12-15 13:25:12 +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
|
62d506143b
|
[CP-SAT] Add AtMostOne/AtLeastOne/ExactlyOne constraint in all languages; rewrite linear expressions in java
|
2022-01-03 09:43:59 +01:00 |
|
Laurent Perron
|
cfeb2e49d7
|
[CP-SAT] Reservoir constraint uses affine expression for the time part; rename fields in the reservoir constraint
|
2021-11-25 14:53:05 +01:00 |
|
Corentin Le Molgat
|
bb73699ff5
|
sat: Polish samples
|
2021-10-22 09:19:25 +02:00 |
|
Corentin Le Molgat
|
0d6e2a9169
|
sat: NQueensSat in all languages
|
2021-10-21 15:13:32 +02:00 |
|