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

Author: lperron

ortools/sat/BUILD.bazel

@@ -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",
@@ -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",
     ],
 )
 
@@ -592,6 +597,7 @@ cc_library(
         ":cp_model_symmetries",
         ":cp_model_utils",
         ":cuts",
+        ":diffn_util",
         ":feasibility_jump",
         ":feasibility_pump",
         ":implied_bounds",
@@ -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",
     ],
@@ -3350,6 +3358,7 @@ cc_library(
     srcs = ["circuit.cc"],
     hdrs = ["circuit.h"],
     deps = [
+        ":all_different",
         ":clause",
         ":integer",
         ":model",