ortools: backport from main

2025-03-04 21:09:32 +01:00
parent 4752786cb3
commit 068359c162
133 changed files with 4294 additions and 1026 deletions
--- a/ortools/sat/integer_search.cc
+++ b/ortools/sat/integer_search.cc
@@ -23,6 +23,7 @@

 #include "absl/container/flat_hash_set.h"
 #include "absl/log/check.h"
+#include "absl/log/log.h"
 #include "absl/meta/type_traits.h"
 #include "absl/random/distributions.h"
 #include "absl/strings/str_cat.h"