Corentin Le Molgat 06f6e54b63 sat: update python api

2022-05-27 15:16:28 +02:00

..

BUILD.bazel

reformat

2022-03-31 11:36:33 +02:00

CMakeLists.txt

Use pybind11 instead for swig for sorted_interval_list and cp_sat swig_helper; speed up CP-SAT presolve; add missing std includes

2022-02-22 18:33:45 +01:00

cp_model_helper.py

[CP-SAT] improve doc on C++ builder API; rewrite python API to remove the DoubleLinearExpr class

2021-12-14 17:15:17 +01:00

cp_model.py

sat: update python api

2022-05-27 15:16:28 +02:00

swig_helper.cc

remove map_util from most of the code; absl::make_unique and absl::optional -> stl version

2022-03-09 09:08:40 +01:00

visualization.py

Bump Copyright to 2021

2021-04-01 21:00:53 +02:00