Corentin Le Molgat
|
f0d0fe71ba
|
examples: backport from main
|
2025-07-23 23:12:34 +02:00 |
|
Corentin Le Molgat
|
a66a6daac7
|
Bump Copyright to 2025
|
2025-01-10 11:35:44 +01:00 |
|
Laurent Perron
|
754d6a4d0f
|
polish python examples: use string interpolations; remove many mypy warnings
|
2024-07-26 00:49:56 +02:00 |
|
Laurent Perron
|
905770c995
|
add new python example; add simple typing annotations
|
2024-07-23 16:34:51 +02:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
5b911b1169
|
[CP-SAT] add ~operator for the logical negation in C++ and Python; fix a bug in C#
|
2023-12-15 14:10:44 +01:00 |
|
Laurent Perron
|
5b6c803db3
|
[CP-SAT] convert to PEP8 convention
|
2023-11-16 19:46:56 +01:00 |
|
Laurent Perron
|
84ec414e61
|
use black on examples/python
|
2023-07-01 06:06:53 +02:00 |
|
Laurent Perron
|
830ef3dc0b
|
improve knapsack_2d_sat example
|
2023-05-13 10:16:00 +02:00 |
|
Laurent Perron
|
857703cd35
|
add robot spreading example
|
2023-02-16 18:20:43 +01:00 |
|
Laurent Perron
|
c01883c977
|
tune time limits
|
2023-02-04 07:59:56 +01:00 |
|
Laurent Perron
|
1d942c9a78
|
tune time limits
|
2023-02-04 07:56:10 +01:00 |
|
Laurent Perron
|
f460e9b0fc
|
run tests in examples/python under bazel; sync/clean examples
|
2023-01-26 13:46:40 +01:00 |
|
Laurent Perron
|
6d9505f45b
|
add time limit
|
2022-11-09 16:37:10 +01:00 |
|
Corentin Le Molgat
|
4f647a0d61
|
examples/python: cleanup
|
2022-10-10 13:44:12 +02:00 |
|
Corentin Le Molgat
|
c7120439d4
|
Bump license date
|
2022-06-17 14:23:23 +02:00 |
|
Laurent Perron
|
8f66a4494c
|
add problem name to generated cp_model in rcpsp
|
2022-06-16 07:39:30 +02:00 |
|
Corentin Le Molgat
|
34e442cd5d
|
examples: Fix main default parameter
|
2022-04-14 14:44:13 +02:00 |
|
Corentin Le Molgat
|
ad19407ff6
|
examples: regen all notebooks
|
2022-04-14 14:31:02 +02:00 |
|
Laurent Perron
|
a1ec2adade
|
[CP-SAT] allow variable number of arguments for OnlyEnforceIf, AddAllDifferent and all Boolean constraints for the Python API
|
2022-01-28 15:54:07 +01:00 |
|
Laurent Perron
|
ceabca677c
|
[CP-SAT] ScalProd -> WeightedSum
|
2022-01-04 19:35:22 +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
|
65dfdd2152
|
fix example
|
2021-12-14 21:54:54 +01:00 |
|
Laurent Perron
|
93934e3660
|
improve rcpsp_sat.py; add optional model to knapsack_2d_sat.py; minor change to hidato_sat.p
|
2021-12-13 10:46:45 +01:00 |
|
Laurent Perron
|
5b1a99e330
|
[CP-SAT] allow double coefficients in the objective
|
2021-11-19 00:28:44 +01:00 |
|
Laurent Perron
|
7c4970ebfe
|
rename example
|
2021-11-16 20:00:40 +01:00 |
|