From 4eb29c2805f05bf36c4b6af37cf4a932ab4bb6b9 Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Wed, 9 Aug 2023 22:37:28 -0700 Subject: [PATCH] one more test --- examples/cpp/BUILD.bazel | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) 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"],