Laurent Perron 382ab5d35b [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

..

google/ortools

[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