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 |
|
Laurent Perron
|
509edd40c4
|
new example: pell equation
|
2024-07-22 11:31:53 +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
|
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 |
|
Laurent Perron
|
f460e9b0fc
|
run tests in examples/python under bazel; sync/clean examples
|
2023-01-26 13:46:40 +01:00 |
|
Corentin Le Molgat
|
4f647a0d61
|
examples/python: cleanup
|
2022-10-10 13:44:12 +02:00 |
|
Mizux Seiha
|
afbccb5936
|
cmake: Disable line_balancing_sat.py
need input file
|
2022-07-28 10:33:28 +02:00 |
|
Laurent Perron
|
de1fc48e3e
|
select scheduling model by default
|
2022-07-15 20:03:57 +02:00 |
|
Laurent Perron
|
a484766b6c
|
improve solver parameters with the scheduling model
|
2022-07-15 20:03:14 +02:00 |
|
Laurent Perron
|
4d28122fe9
|
fix pythone example
|
2022-07-15 19:28:42 +02:00 |
|
Laurent Perron
|
a39437b181
|
new line balancing example
|
2022-07-08 14:49:51 +02:00 |
|