COMMITS
/ examples/python/cover_rectangle_sat.py January 10, 2025
C
Bump Copyright to 2025
Corentin Le Molgat committed
January 4, 2024
M
bump license boilerplate
Mizux Seiha committed
December 15, 2023
L
[CP-SAT] add ~operator for the logical negation in C++ and Python; fix a bug in C#
Laurent Perron committed
November 16, 2023
L
[CP-SAT] convert to PEP8 convention
Laurent Perron committed
July 18, 2023
C
examples: cleanup python samples
Corentin Le Molgat committed
July 5, 2023
L
enable more python tests in cmake; add rule to run python examples with args in bazel
Laurent Perron committed
July 1, 2023
L
use black on examples/python
Laurent Perron committed
January 29, 2023
October 23, 2022
L
fix symmetry breaking
Laurent Perron committed
A
Bugfixes for cover_rectangle example
Antony Phillips committed
June 17, 2022
C
Bump license date
Corentin Le Molgat committed
April 2, 2021
M
Update copyright
Mizux Seiha committed
November 18, 2020
L
update python code, remove __future__ imports, remove six, use absl-py for flags, update examples
Laurent Perron committed
September 20, 2020
L
fix examples after FEASIBLE -> OPTIMAL CP-SAT change; improve display of the sudoku problem
Laurent Perron committed
December 24, 2018
L
add more tie breaking
Laurent Perron committed
December 23, 2018
L
minor variable renaming
Laurent Perron committed
L
pylint python example
Laurent Perron committed
L
pylint python example
Laurent Perron committed
L
add symmetry breaking
Laurent Perron committed
L
new python CP-SAT example
Laurent Perron committed