From cce9c577580f2dbe459638799d7fecbd19aa5dd0 Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@google.com>
Date: Fri, 25 Mar 2022 10:07:27 +0100
Subject: [PATCH] fix examples

---
 examples/cpp/binpacking_2d_sat.cc | 4 +++-
 examples/cpp/costas_array_sat.cc  | 1 +
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/examples/cpp/binpacking_2d_sat.cc b/examples/cpp/binpacking_2d_sat.cc
index 920168e829..cc2483b3ee 100644
--- a/examples/cpp/binpacking_2d_sat.cc
+++ b/examples/cpp/binpacking_2d_sat.cc
@@ -203,7 +203,9 @@ void LoadAndSolve(const std::string& file_name, int instance) {
   // Setup parameters.
   SatParameters parameters;
   parameters.set_log_search_progress(true);
-  parameters.set_use_cumulative_in_no_overlap_2d(true);
+  parameters.set_use_timetabling_in_no_overlap_2d(true);
+  parameters.set_use_energetic_reasoning_in_no_overlap_2d(true);
+
   // Parse the --params flag.
   if (!absl::GetFlag(FLAGS_params).empty()) {
     CHECK(google::protobuf::TextFormat::MergeFromString(
diff --git a/examples/cpp/costas_array_sat.cc b/examples/cpp/costas_array_sat.cc
index aaa8f7fe9d..34ee3731df 100644
--- a/examples/cpp/costas_array_sat.cc
+++ b/examples/cpp/costas_array_sat.cc
@@ -25,6 +25,7 @@
 #include <cstdint>
 #include <ctime>
 #include <set>
+#include <string>
 #include <utility>
 
 #include "absl/flags/flag.h"