[CP-SAT] internal protocol improvements; bug fixes

google · Sep 3, 2024 · 76f2f4c · 76f2f4c
1 parent b093e98
commit 76f2f4c
Show file tree

Hide file tree

Showing 35 changed files with 1,167 additions and 328 deletions.
diff --git a/ortools/sat/2d_packing_brute_force.cc b/ortools/sat/2d_packing_brute_force.cc
@@ -681,8 +681,8 @@ BruteForceResult BruteForceOrthogonalPacking(
   for (const PermutableItem& item : items) {
     result[item.index] = item.position;
   }
-  VLOG_EVERY_N_SEC(3, 3) << "Found a feasible packing by brute force. Dot:\n "
-                         << RenderDot(bounding_box_size, result);
+  // VLOG_EVERY_N_SEC(3, 3) << "Found a feasible packing by brute force. Dot:\n "
+  //                        << RenderDot(bounding_box_size, result);
   return {.status = BruteForceResult::Status::kFoundSolution,
           .positions_for_solution = result};
 }