diff --git a/examples/cpp/BUILD.bazel b/examples/cpp/BUILD.bazel index 80ca3e7e50..1d77141b58 100644 --- a/examples/cpp/BUILD.bazel +++ b/examples/cpp/BUILD.bazel @@ -1029,6 +1029,17 @@ cc_binary( ], ) +cc_test( + name = "slitherlink_sat_test", + srcs = ["slitherlink_sat.cc"], + size = "small", + deps = [ + "//ortools/sat:cp_model", + "//ortools/sat:model", + "@com_google_absl//absl/strings:str_format", + ], +) + cc_binary( name = "uncapacitated_facility_location", srcs = ["uncapacitated_facility_location.cc"], @@ -1052,6 +1063,17 @@ cc_binary( ], ) +cc_test( + name = "variable_intervals_sat_test", + srcs = ["variable_intervals_sat.cc"], + size = "small", + deps = [ + "//ortools/sat:cp_model", + "//ortools/sat:sat_parameters_cc_proto", + "//ortools/util:time_limit", + ], +) + cc_binary( name = "pdlp_solve", srcs = ["pdlp_solve.cc"],