lp_data backport from main

google · Sep 18, 2024 · 1dda1bd · 1dda1bd
1 parent d148a3f
commit 1dda1bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ortools/lp_data/permutation.h b/ortools/lp_data/permutation.h
@@ -154,7 +154,7 @@ void Permutation<IndexType>::PopulateFromIdentity() {
 template <typename IndexType>
 void Permutation<IndexType>::PopulateRandomly() {
   PopulateFromIdentity();
-  std::shuffle(perm_.begin(), perm_.end());
+  std::shuffle(perm_.begin(), perm_.end(), absl::BitGen());
 }
 
 template <typename IndexType>