16 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
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
Corentin Le Molgat
c368a4d9fa example: Fix python formating 2023-07-13 14:28:36 +02:00
Laurent Perron
8c6898da25 use tuples instead of lists for arcs in CP-SAT AddCircuit 2023-07-10 14:38:58 +02: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
39a1d96a59 polish python examples 2022-11-11 11:16:29 +01:00
Corentin Le Molgat
c7120439d4 Bump license date 2022-06-17 14:23:23 +02:00
Mizux Seiha
81770b17ee example: add max value collectable to print function 2022-03-23 15:05:54 +01:00
Mizux Seiha
ffb181590f example: prize collecting cleanup 2022-03-23 14:41:25 +01:00
Mizux Seiha
c2bebd7441 example: Rework prize collecting examples 2022-03-23 14:26:18 +01: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
Laurent Perron
ad862597f9 polish tsp_sat.py; add prize_collecting_tsp_sat.py 2020-06-11 10:02:09 +02:00