Laurent Perron e037f914f9 more work on sat

2025-03-27 06:40:55 -07:00

..

BUILD.bazel

bazel: rename com_google_absl to abseil-cpp

2025-03-24 18:21:42 +01:00

CMakeLists.txt

Bump copyright to 2025

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

cp_model_helper_test.py

[CP-SAT] more cleanups; routing cuts experiments

2025-03-26 15:03:38 -07:00

cp_model_helper.cc

[CP-SAT] hash python variables

2025-02-19 13:32:31 +01: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

change cp-sat python cloning example to use deepcopy

2025-03-07 10:30:10 +01:00

cp_model.py

change cp-sat python cloning example to use deepcopy

2025-03-07 10:30:10 +01:00

linear_expr_doc.h

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

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

linear_expr.cc

more work on sat

2025-03-27 06:40:55 -07:00

linear_expr.h

more work on sat

2025-03-27 06:40:55 -07:00