chore(deps): update rand to 0.9.0

Cargo.toml

@@ -37,8 +37,8 @@ itertools = "0.14.0"
 nom = "7.1.3"
 termcolor = "1.4.1"
 thiserror = "2.0.11"
-rand = "0.8.5"
-rand_chacha = "0.3.1"
+rand = "0.9.0"
+rand_chacha = "0.9.0"
 rustc-hash = "2.1.0"
 rustsat = { version = "0.6.3", path = "./", default-features = false }
 rustsat-cadical = { version = "0.4.3", path = "./cadical" }

src/instances.rs

@@ -332,7 +332,7 @@ impl RandReindVarManager {
     pub fn init(n_vars: u32) -> Self {
         use rand::seq::SliceRandom;
         let mut in_map: Vec<Var> = (0..n_vars).map(Var::new).collect();
-        let mut rng = rand::thread_rng();
+        let mut rng = rand::rng();
         // Build randomly shuffled input map
         in_map[..].shuffle(&mut rng);
         // Build reverse map

src/instances/opt.rs

@@ -959,7 +959,7 @@ impl Objective {
                 soft_clauses,
                 ..
             } => {
-                let mut rng = rand::thread_rng();
+                let mut rng = rand::rng();
                 (soft_lits[..]).shuffle(&mut rng);
                 (soft_clauses[..]).shuffle(&mut rng);
             }

src/instances/sat.rs

@@ -197,7 +197,7 @@ impl Cnf {
     #[must_use]
     pub fn shuffle(mut self) -> Self {
         use rand::seq::SliceRandom;
-        let mut rng = rand::thread_rng();
+        let mut rng = rand::rng();
         self.clauses[..].shuffle(&mut rng);
         self
     }
@@ -800,7 +800,7 @@ impl<VM: ManageVars> Instance<VM> {
     pub fn shuffle(mut self) -> Self {
         use rand::seq::SliceRandom;
         self.cnf = self.cnf.shuffle();
-        let mut rng = rand::thread_rng();
+        let mut rng = rand::rng();
         self.cards[..].shuffle(&mut rng);
         self.pbs[..].shuffle(&mut rng);
         self

tools/src/encodings/knapsack.rs

@@ -42,9 +42,9 @@ impl Knapsack {
         let mut rng = ChaCha8Rng::seed_from_u64(seed);
         let items: Vec<_> = (0..n_items)
             .map(|_| {
-                let weight = rng.gen_range(weight_range.clone());
+                let weight = rng.random_range(weight_range.clone());
                 let values = (0..n_objectives)
-                    .map(|_| rng.gen_range(value_range.clone()))
+                    .map(|_| rng.random_range(value_range.clone()))
                     .collect();
                 ItemData { weight, values }
             })