Merge branch 'main' of github.com:google/or-tools

google · Aug 10, 2023 · 5c05275 · 5c05275
2 parents aaf306c + bb7c013
commit 5c05275
Showing 1 changed file with 9 additions and 4 deletions.
diff --git a/ortools/sat/cuts.cc b/ortools/sat/cuts.cc
@@ -66,7 +66,7 @@ std::string CutTerm::DebugString() const {
 }
 
 std::string CutData::DebugString() const {
-  std::string result = absl::StrCat("CutData rhs=", rhs, "\n");
+  std::string result = absl::StrCat("CutData rhs="/*, rhs*/, "\n");
   for (const CutTerm& term : terms) {
     absl::StrAppend(&result, term.DebugString(), "\n");
   }
@@ -1993,9 +1993,14 @@ FlowCoverCutHelper::~FlowCoverCutHelper() {
 }
 
 std::string SingleNodeFlow::DebugString() const {
-  return absl::StrCat("#in:", in_flow.size(), " #out:", out_flow.size(),
-                      " demand:", demand, " #bool:", num_bool,
-                      " #lb:", num_to_lb, " #ub:", num_to_ub);
+  return absl::StrCat(
+      "#in:", in_flow.size()
+      ," #out:", out_flow.size()
+      //," demand:", demand
+      ," #bool:", num_bool
+      ," #lb:", num_to_lb
+      ," #ub:", num_to_ub
+      );
 }
 
 // The flow info of a linear term is always the same.