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
|
ad3e00e441
|
remove mypy issues
|
2024-07-24 23:56:06 +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
|
84ec414e61
|
use black on examples/python
|
2023-07-01 06:06:53 +02:00 |
|
Laurent Perron
|
a06d0ed7a0
|
more absl::string_view in the c++ code; sync examples/python, remove jniutils.h; move sat/python/visualization.py to sat/colab
|
2023-01-29 21:20:58 +01:00 |
|
Corentin Le Molgat
|
c7120439d4
|
Bump license date
|
2022-06-17 14:23:23 +02:00 |
|
Laurent Perron
|
efd16c78da
|
[CP-SAT] deprecate SearchAllSolutions and SolveWithSolutionCallback
|
2021-05-03 12:11:39 +02:00 |
|
Mizux Seiha
|
c0f6978f3b
|
Update copyright
|
2021-04-02 10:08:51 +02:00 |
|
Laurent Perron
|
dbec1ec79f
|
revert parallel search on balance group examples
|
2021-01-20 14:55:59 +01:00 |
|
Laurent Perron
|
1b3ee00001
|
speed up example
|
2021-01-19 15:05:41 +01: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
|
b4e8d89fe5
|
reformat code
|
2018-09-20 13:56:50 +02:00 |
|
Laurent Perron
|
df3fc2af44
|
change comment to docstring
|
2018-09-19 13:21:13 +02:00 |
|
Laurent Perron
|
61125b4b48
|
reindent python examples, polish a few of thems
|
2018-09-06 15:09:32 +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
|
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
|
210bdbfa52
|
improve balance group example
|
2018-08-07 15:17:23 -07:00 |
|
Laurent Perron
|
c2671d51d8
|
improve balance group example
|
2018-08-07 15:16:08 -07:00 |
|
Laurent Perron
|
84400a72ed
|
tweak balanced group example such that the optimal is not 0
|
2018-07-24 09:33:05 -07:00 |
|
Laurent Perron
|
f73841ef38
|
balanced group example
|
2018-07-23 15:29:39 -07:00 |
|
Laurent Perron
|
2358af7f4c
|
balanced groups
|
2018-07-23 14:59:25 -07:00 |
|