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
|
352e5dc61e
|
rename variable in nurses samples
|
2022-09-21 18:08:03 +02: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
|
1166e1663a
|
[CP-SAT] Next iteration in java modelling layer
|
2022-01-04 16:30:04 +01: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 |
|
Corentin Le Molgat
|
0863b128c4
|
Sync Google to Github
|
2021-10-13 23:17:11 +02:00 |
|
Mizux Seiha
|
9af7ab1206
|
Fix indent
|
2021-10-12 16:51:52 +02:00 |
|
Mizux Seiha
|
85e1983918
|
sat(java): Use of IntStream in samples
|
2021-10-12 16:51:03 +02:00 |
|
Mizux Seiha
|
6d7db1b8b0
|
sat: Rework NursesSat.java
|
2021-10-12 15:01:27 +02:00 |
|
Mizux Seiha
|
4fb127c89a
|
sat: Polish NursesSat.java
|
2021-10-12 14:23:21 +02:00 |
|
Corentin Le Molgat
|
a73c391f44
|
sat: Add NursesSat.java
|
2021-10-11 16:42:50 +02:00 |
|