Laurent Perron
|
84ec414e61
|
use black on examples/python
|
2023-07-01 06:06:53 +02:00 |
|
Corentin Le Molgat
|
c7120439d4
|
Bump license date
|
2022-06-17 14:23:23 +02:00 |
|
Laurent Perron
|
a1ec2adade
|
[CP-SAT] allow variable number of arguments for OnlyEnforceIf, AddAllDifferent and all Boolean constraints for the Python API
|
2022-01-28 15:54:07 +01: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
|
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
|
54bda4bd42
|
fix examples after FEASIBLE -> OPTIMAL CP-SAT change; improve display of the sudoku problem
|
2020-09-20 09:04:28 +02:00 |
|
Laurent Perron
|
5d26ad890f
|
sync examples
|
2018-11-21 11:00:26 -08:00 |
|
Laurent Perron
|
c1c818c1f8
|
add docstring
|
2018-11-19 17:59:45 -08:00 |
|
Laurent Perron
|
b7810c2793
|
rename zebra.py to zebra_sat.py
|
2018-11-19 14:32:32 -08:00 |
|
Laurent Perron
|
eaea22791c
|
rename zebra.py to zebra_sat.py
|
2018-11-19 14:24:14 -08:00 |
|
Laurent Perron
|
47ec84ca6b
|
rename zebra.py to zebra_sat.py
|
2018-11-19 14:21:43 -08:00 |
|
Laurent Perron
|
4d7f1dec01
|
rename zebra.py to zebra_sat.py
|
2018-11-19 14:14:45 -08:00 |
|