Laurent Perron 0670c8ab7b fix python typing

2024-05-30 10:52:46 +02:00

..

BUILD.bazel

sync with main

2024-05-30 10:52:42 +02:00

CMakeLists.txt

cmake: rework add_python_test()

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

cp_model_helper_test.py

backport cp-sat code from main

2024-05-30 10:51:53 +02:00

cp_model_helper.py

[CP-SAT] polish typing

2024-05-30 10:51:54 +02: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-05-30 10:51:55 +02:00

cp_model.py

fix python typing

2024-05-30 10:52:46 +02:00

swig_helper_test.py

backport cp-sat code from main

2024-05-30 10:51:53 +02:00

swig_helper.cc

[CP-SAT] code cleanup; more pseudo-cost experimental code; add objective best bound callback

2024-05-30 10:52:46 +02:00