Skip to content

Commit

Permalink
[CP-SAT] add experimental routing constraint; more no_overlap_2d pres…
Browse files Browse the repository at this point in the history
…olve; add random_half branching heuristics
  • Loading branch information
lperron committed Jan 28, 2025
1 parent 225bcce commit 757cdeb
Show file tree
Hide file tree
Showing 21 changed files with 611 additions and 302 deletions.
9 changes: 9 additions & 0 deletions ortools/sat/BUILD.bazel
Original file line number Diff line number Diff line change
Expand Up @@ -433,6 +433,7 @@ cc_library(
"@com_google_absl//absl/container:flat_hash_map",
"@com_google_absl//absl/container:flat_hash_set",
"@com_google_absl//absl/log:check",
"@com_google_absl//absl/random:bit_gen_ref",
"@com_google_absl//absl/random:distributions",
"@com_google_absl//absl/strings",
"@com_google_absl//absl/types:span",
Expand All @@ -450,6 +451,10 @@ cc_test(
":sat_parameters_cc_proto",
"//ortools/base:gmock_main",
"//ortools/base:parse_test_proto",
"//ortools/util:stats",
"@com_google_absl//absl/container:flat_hash_map",
"@com_google_absl//absl/log",
"@com_google_absl//absl/strings",
],
)

Expand Down Expand Up @@ -592,6 +597,7 @@ cc_library(
":cp_model_symmetries",
":cp_model_utils",
":cuts",
":diffn_util",
":feasibility_jump",
":feasibility_pump",
":implied_bounds",
Expand Down Expand Up @@ -2028,7 +2034,9 @@ cc_library(
"//ortools/graph:strongly_connected_components",
"//ortools/util:sort",
"//ortools/util:strong_integers",
"@com_google_absl//absl/algorithm:container",
"@com_google_absl//absl/container:btree",
"@com_google_absl//absl/container:flat_hash_map",
"@com_google_absl//absl/log:check",
"@com_google_absl//absl/types:span",
],
Expand Down Expand Up @@ -3350,6 +3358,7 @@ cc_library(
srcs = ["circuit.cc"],
hdrs = ["circuit.h"],
deps = [
":all_different",
":clause",
":integer",
":model",
Expand Down
Loading

0 comments on commit 757cdeb

Please sign in to comment.