[CP-SAT] rename test_feasibility_jump to use_ls_only; code polishing all over

Author: lperron

ortools/sat/BUILD.bazel

@@ -227,6 +227,7 @@ cc_library(
         "@com_google_absl//absl/functional:any_invocable",
         "@com_google_absl//absl/functional:bind_front",
         "@com_google_absl//absl/functional:function_ref",
+        "@com_google_absl//absl/hash",
         "@com_google_absl//absl/log",
         "@com_google_absl//absl/log:check",
         "@com_google_absl//absl/random:bit_gen_ref",
@@ -2306,6 +2307,7 @@ cc_library(
     hdrs = ["cp_model_symmetries.h"],
     deps = [
         ":cp_model_cc_proto",
+        ":cp_model_checker",
         ":cp_model_mapping",
         ":cp_model_utils",
         ":model",
@@ -2315,13 +2317,15 @@ cc_library(
         ":sat_solver",
         ":symmetry_util",
         ":util",
+        "//ortools/algorithms:binary_search",
         "//ortools/algorithms:find_graph_symmetries",
         "//ortools/algorithms:sparse_permutation",
         "//ortools/base",
         "//ortools/base:hash",
         "//ortools/graph",
         "//ortools/util:affine_relation",
         "//ortools/util:logging",
+        "//ortools/util:saturated_arithmetic",
         "//ortools/util:time_limit",
         "@com_google_absl//absl/algorithm:container",
         "@com_google_absl//absl/container:btree",