fix examples

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(

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"