[CP-SAT] improve diffn clustering; more work on hints

2024-12-04 15:29:31 +01:00
parent a30311c49a
commit 873e0b47f8
28 changed files with 518 additions and 231 deletions
--- a/ortools/sat/subsolver.cc
+++ b/ortools/sat/subsolver.cc
@@ -69,7 +69,7 @@ int NextSubsolverToSchedule(std::vector<std::unique_ptr<SubSolver>>& subsolvers,
 }

 void ClearSubsolversThatAreDone(
-    const std::vector<int>& num_in_flight_per_subsolvers,
+    absl::Span<const int> num_in_flight_per_subsolvers,
    std::vector<std::unique_ptr<SubSolver>>& subsolvers) {
  for (int i = 0; i < subsolvers.size(); ++i) {
    if (subsolvers[i] == nullptr) continue;