13 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
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
Mizux Seiha
5c3d2c95b0 Fix MultipleKnapsackSat 2021-12-02 09:39:12 +01:00
Corentin Le Molgat
1d48a794d4 Update MultipleKnapsack[Mip|Sat] 2021-12-02 09:38:53 +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
247de5ae2a some more dual presolve on exactly_one, at_most one in CP-SAT; minor cleaning 2021-02-19 10:58:09 +01:00
Laurent Perron
a7570d1ae6 polish sat samples 2021-02-15 12:26:37 +01:00
Mizux Seiha
c6420ba8e6 make(java): Migrate samples to maven (#202)
- Factorise makefile code using advanced make function
- Use the Loader in samples
2020-09-13 00:15:03 +02:00
Corentin Le Molgat
a62f22df9c Backport samples from g3 to gh 2020-05-26 13:51:51 +02:00
Laurent Perron
a64e947cdb add new code samoke; update internals 2019-08-23 16:45:52 +02:00