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

..

constraintsolver

bump license boilerplate

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

modelbuilder

bump license boilerplate

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

sat

[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

bump license boilerplate

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

Loader.java

bump license boilerplate

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