10 Commits

Author SHA1 Message Date
Laurent Perron
7f463e1a68 sync with main 2025-06-02 14:25:50 +02:00
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
e0b7582637 improve python typing 2023-11-22 14:47:35 +01:00
Laurent Perron
5b6c803db3 [CP-SAT] convert to PEP8 convention 2023-11-16 19:46:56 +01:00
Laurent Perron
c3fdb12908 Switch algorithms and scheduling python libraries from swig to pybind11; switch protobuf support from forced serialization to pybind11_protobuf -- with patch; [CP-SAT] rewrite cut management; reformat samples with black 2023-06-30 22:49:35 +02:00
Corentin Le Molgat
5863a63d19 export from google3 2022-06-22 18:09:44 +02:00
Laurent Perron
87ca4f58ad [CP-SAT] bump license years; fix scheduling cuts; improve lb_tree_search 2022-06-16 15:21:00 +02:00
Corentin Le Molgat
d4e68ff400 Sync Google with github 2021-10-20 11:39:23 +02:00
Corentin Le Molgat
a19e55f091 sat: Add CpSatExample samples 2021-10-19 10:03:53 +02:00