20 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
a8cf3195d2 more PEP8 work 2023-11-17 11:56:36 +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
Laurent Perron
f4f9b622a5 python f-string 2023-04-21 12:47:09 +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
518c708cec sat: Sync sample 2021-11-03 12:58:52 +01:00
Corentin Le Molgat
fdf96071d6 sat: Fixup simple_sat_program.py 2021-10-18 15:47:31 +02:00
Corentin Le Molgat
cdcea7c275 sat: Update SimpleSatProgram 2021-10-18 14:27:13 +02:00
Corentin Le Molgat
7531dd9625 python: Add shebang to programs 2021-04-16 00:23:35 +02:00
Mizux Seiha
8bb54b04ef Bump Copyright to 2021
FYI:
find ortools \( -type d -name .git -prune \) -o -type f -print0 | xargs -0 sed -i 's/\(Copyright 2010\)-2018/\1-2021/g'
2021-04-01 21:00:53 +02:00
Corentin Le Molgat
4cd85e08c4 Export Google update 2020-11-18 16:11:32 +01: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
2357139f9c expand all diff; change namespace in boolean_problem.proto 2020-09-10 10:39:29 +02:00
Laurent Perron
c75045897b merge simple_solve_sample_sat into simple_sat_program; update doc 2018-11-16 05:02:48 -08:00
Laurent Perron
3dc6d1ee2c add javadoc to java sat samples
polish samples, integrate in md files
2018-11-15 14:32:20 -08:00
Laurent Perron
8fd62c9e43 reorganize all sat samples to have regular naming
Remove sub-method in C# sat sample, just use Main()
2018-11-15 10:56:34 -08:00