Laurent Perron 8ed3f8d995 [CP-SAT] more tuning on shared tree workers; add parameter to limit linear2 efforts on restarts

2025-06-24 21:08:27 +02:00

..

BUILD.bazel

bazel: update deps

2025-05-22 03:12:46 +02:00

CMakeLists.txt

Bump copyright to 2025

2025-01-10 11:33:35 +01:00

cp_model_helper_test.py

improve python exprs

2025-06-12 14:04:51 +02:00

cp_model_helper.cc

[CP-SAT] improve precedences; fix #4693; tweak shared tree workers

2025-06-23 17:33:30 +02:00

cp_model_numbers_test.py

[CP-SAT] add experimental routing constraint; more no_overlap_2d presolve; add random_half branching heuristics

2025-01-28 13:34:07 +01:00

cp_model_numbers.py

more work on CP-SAT python; lots of fixes for bugs found by fuzzer

2025-01-10 22:25:44 +01:00

cp_model_test.py

[CP-SAT] more tuning on shared tree workers; add parameter to limit linear2 efforts on restarts

2025-06-24 21:08:27 +02:00

cp_model.py

[CP-SAT] work on precedences; fix bug in scheduling cuts

2025-06-10 17:25:55 +02:00

linear_expr_doc.h

fix #4654

2025-05-21 12:37:44 +02:00

linear_expr.cc

cleanup python expression code for cp-sat and model-builder

2025-06-13 13:13:26 +02:00

linear_expr.h

cleanup python expression code for cp-sat and model-builder

2025-06-13 13:13:26 +02:00