7 Commits

Author SHA1 Message Date
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
b4a3708e66 change license 2023-11-06 16:28: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
a7570d1ae6 polish sat samples 2021-02-15 12:26:37 +01:00
Xiang Chen
eb31f06abd Update Assumptions samples 2021-02-05 10:44:16 +01:00
Xiang Chen
b34ceefb86 Wrap CP-SAT assumptions 2021-02-04 23:53:50 +01:00