Corentin Le Molgat
|
f0d0fe71ba
|
examples: backport from main
|
2025-07-23 23:12:34 +02:00 |
|
Laurent Perron
|
a4b37b6465
|
large sync with main
|
2025-03-07 10:33:36 +01:00 |
|
Laurent Perron
|
be5b7532b2
|
fix #4565
|
2025-02-25 17:08:47 +01:00 |
|
Corentin Le Molgat
|
a66a6daac7
|
Bump Copyright to 2025
|
2025-01-10 11:35:44 +01:00 |
|
Laurent Perron
|
511bf047a7
|
backport cp-sat code from main
|
2024-05-30 10:51:53 +02:00 |
|
Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
5b6c803db3
|
[CP-SAT] convert to PEP8 convention
|
2023-11-16 19:46:56 +01:00 |
|
Laurent Perron
|
d07127d40a
|
[CP-SAT] revisit search heuristics, lns workers search heuristics; scheduling propagation
|
2023-10-02 19:52:11 +02:00 |
|
Laurent Perron
|
f9540e8a6b
|
bake in max performance parameters
|
2023-09-21 13:08:03 +02:00 |
|
Laurent Perron
|
32175c9c3b
|
remove pywrap prefix for pybind11 generated modules
|
2023-07-03 12:46:51 +02:00 |
|
Laurent Perron
|
c3fdb12908
|
Switch algorithms and scheduling python libraries from swig to pybind11; switch protobuf support from forced serialization to pybind11_protobuf -- with patch; [CP-SAT] rewrite cut management; reformat samples with black
|
2023-06-30 22:49:35 +02:00 |
|
Laurent Perron
|
a743431365
|
start reformating with black
|
2023-06-27 14:21:34 +02:00 |
|
Laurent Perron
|
1d061ed19e
|
cleanup examples/python
|
2023-03-03 18:55:16 +04:00 |
|
Laurent Perron
|
6c55890ce4
|
add new lower bounds and new pre-computations to rcpsp_sat.py
|
2022-08-19 09:24:27 +02:00 |
|
Laurent Perron
|
a4729b930d
|
improve comments
|
2022-08-01 17:42:31 +02:00 |
|
Laurent Perron
|
ad1b8ee5e4
|
set problem name; ure richer model for rcpsp
|
2022-07-28 00:22:08 +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
|
edbb274a62
|
simplify code
|
2022-02-23 22:08:17 +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
|
4a369bfaa5
|
fix
|
2021-12-13 11:58:17 +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
|
f6fa781fa4
|
split ortools/data into ortools/scheduling and ortools/packing
|
2021-09-28 15:58:37 +02:00 |
|
Corentin Le Molgat
|
cfc12593b0
|
cleanup python
|
2021-09-03 15:29:13 +02:00 |
|
Laurent Perron
|
700847b3ff
|
fix #2656
|
2021-07-13 13:47:57 +02:00 |
|
Laurent Perron
|
072938b720
|
rewrite rcpsp_sat example
|
2021-06-29 17:20:38 +02:00 |
|
Laurent Perron
|
efd16c78da
|
[CP-SAT] deprecate SearchAllSolutions and SolveWithSolutionCallback
|
2021-05-03 12:11:39 +02:00 |
|
Laurent Perron
|
ee6f7db8b9
|
improve rcpsp_sat model; fix python indent/comments
|
2021-04-13 11:59:41 +02:00 |
|
Mizux Seiha
|
c0f6978f3b
|
Update copyright
|
2021-04-02 10:08:51 +02:00 |
|
Laurent Perron
|
4ececbe448
|
update python code, remove __future__ imports, remove six, use absl-py for flags, update examples
|
2020-11-18 10:50:14 +01:00 |
|
Corentin Le Molgat
|
c2ae098d34
|
Apply yapf on examples/python/*.py
|
2018-11-30 14:48:55 +01:00 |
|
Laurent Perron
|
44e52c1ef8
|
mostly PascalCase -> sname_case
|
2018-11-20 05:44:21 -08:00 |
|
Laurent Perron
|
d99cf97acb
|
reformat python files as tab length = 4 now
|
2018-11-11 09:39:59 +01:00 |
|
Laurent Perron
|
87b9d55b21
|
update license headers
|
2018-11-10 18:00:53 +01:00 |
|
Laurent Perron
|
01815e2d6d
|
fix bug in the sat scheduling code found by the rcpsp
|
2018-09-13 16:26:03 +02:00 |
|
Laurent Perron
|
34f8cf3f6a
|
use multiple enforcement literals in rcpsp
|
2018-09-12 18:25:43 +02:00 |
|
Laurent Perron
|
428e272ccc
|
add ModelStats and CpSolverResponseStats for SAT/{Python|Java|C#}; enable multiple enforcement literals for a few constraints; small fixes, typo corrections
|
2018-09-12 15:07:23 +02:00 |
|
Laurent Perron
|
9eeda9e498
|
fix a few pylint problems
|
2018-09-08 17:56:07 +02:00 |
|
Laurent Perron
|
9a116eba39
|
remove SolutionObserver is sat/swig_helper.h; rename WithObserver into WithCallback
|
2018-09-04 18:47:10 +02:00 |
|
Laurent Perron
|
651e44cf0a
|
remove OptionalIntVar from the sat Python API
|
2018-08-31 16:56:55 +02:00 |
|
Laurent Perron
|
e8d5858e67
|
revamp sat python solution callback, adds the ability to stop search from the solution callback.
|
2018-08-30 16:27:58 +02:00 |
|
Laurent Perron
|
72db1d9ef2
|
run pyformat on python examples
|
2018-06-11 11:51:18 +02:00 |
|
Laurent Perron
|
1fac6dcd73
|
add licenses to examples
|
2018-05-31 10:54:36 -07:00 |
|
Laurent Perron
|
a4a06a357a
|
improve rcpsp parser and rcpsp_sat.py
|
2017-11-16 17:48:30 +01:00 |
|
Laurent Perron
|
14564c0917
|
simplify reservoir expand; change a bit the enqueue protocol in the sat solver
|
2017-11-14 16:58:07 +01:00 |
|
Laurent Perron
|
ae3007234b
|
fix sat python reservoir code; continue working on rcpsp_sat.py to support consumer/producer problems
|
2017-11-13 15:45:02 +01:00 |
|
Laurent Perron
|
e14ee86de3
|
move rcpsp parser to ortools/data; continue working on SAT
|
2017-11-07 15:45:52 +01:00 |
|
Laurent Perron
|
432cfed06f
|
fix delayed solution value in sat solution observer
|
2017-11-04 23:50:06 +01:00 |
|