Laurent Perron 888d89b5e0 [CP-SAT] do not add the linear part of an interval in the model, create it when copying the model for presolve; improve work sharing in shared_tree_mode

2024-04-03 11:43:20 +02:00

..

BUILD.bazel

bazel: bump rules_python to 0.31.0

2024-04-02 08:52:35 +02:00

CMakeLists.txt

cmake: rework add_python_test()

2024-01-15 13:33:49 +01:00

cp_model_helper_test.py

[CP-SAT] fix rare sat bug; reformat

2024-03-14 15:05:53 +01:00

cp_model_helper.py

[CP-SAT] polish typing

2024-03-21 15:48:37 +01:00

cp_model_test.py

[CP-SAT] do not add the linear part of an interval in the model, create it when copying the model for presolve; improve work sharing in shared_tree_mode

2024-04-03 11:43:20 +02:00

cp_model.py

[CP-SAT] do not add the linear part of an interval in the model, create it when copying the model for presolve; improve work sharing in shared_tree_mode

2024-04-03 11:43:20 +02:00

swig_helper_test.py

[CP-SAT] fix rare sat bug; reformat

2024-03-14 15:05:53 +01:00

swig_helper.cc

bump license boilerplate

2024-01-04 13:43:15 +01:00