Upgrade dependencies

Author: GBathie

Cargo.toml

@@ -1,19 +1,21 @@
 [package]
-name = "ltl-rs"
-version = "0.1.0"
-edition = "2021"
-default-run= "ltl-rs"
+name = "bolt"
+version = "0.2.0"
+authors = ["BATHIE, Gabriel <gbathie.dev@gmail.com>"]
+description = "Blazingly fast LTL Learning in Rust!"
+edition = "2024"
+default-run = "bolt"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-clap = { version = "4.5.1", features = ["derive"] }
-env_logger = "0.11.2"
+clap = { version = "4.5.37", features = ["derive"] }
+env_logger = "0.11.8"
 fxhash = "0.2.1"
-itertools = "0.13.0"
-log = "0.4.20"
-ordered-float = "4.2.1"
-thiserror = "1.0.64"
+itertools = "0.14.0"
+log = "0.4.27"
+ordered-float = "5.0.0"
+thiserror = "2.0.12"
 
 [dev-dependencies]
-rand = "0.8.5"
+rand = "0.9.1"

src/bin/experiments.rs

@@ -2,15 +2,15 @@ use std::path::PathBuf;
 
 use clap::{Parser, Subcommand};
 
-use log::info;
-use ltl_rs::{
+use bolt::{
     algos::{
-        beam_search::BeamSearchParams, enumeration::EnumParams, meta::divide_conquer,
-        set_cover::SetCoverParams, BoolAlgoParams,
+        BoolAlgoParams, beam_search::BeamSearchParams, enumeration::EnumParams,
+        meta::divide_conquer, set_cover::SetCoverParams,
     },
     formula::tree::FormulaTree,
-    ltl::trace::{traces_from_file, Operators, Trace},
+    ltl::trace::{Operators, Trace, traces_from_file},
 };
+use log::info;
 
 fn main() {
     env_logger::init();

src/bool/cv.rs

@@ -135,12 +135,12 @@ impl FromIterator<bool> for CharVec {
 
 #[cfg(test)]
 mod tests {
-    use rand::{thread_rng, Rng};
+    use rand::{rng, Rng};
 
     use super::*;
 
     fn random_vec_with_len(len: usize, rng: &mut impl Rng) -> CharVec {
-        let x: u128 = rng.gen();
+        let x: u128 = rng.random();
         let x = if len < 128 {
             x & ((1u128 << len) - 1)
         } else {
@@ -153,17 +153,17 @@ mod tests {
     }
 
     fn random_pair() -> (CharVec, CharVec) {
-        let mut rng = thread_rng();
-        let len = rng.gen_range(0..128);
+        let mut rng = rng();
+        let len = rng.random_range(0..128);
         (
             random_vec_with_len(len, &mut rng),
             random_vec_with_len(len, &mut rng),
         )
     }
 
     fn random_vec() -> CharVec {
-        let mut rng = thread_rng();
-        let len = rng.gen_range(0..128);
+        let mut rng = rng();
+        let len = rng.random_range(0..128);
         random_vec_with_len(len, &mut rng)
     }
 

src/ltl/cs.rs

@@ -167,7 +167,7 @@ impl FromIterator<bool> for CharSeq {
 
 #[cfg(test)]
 mod tests {
-    use rand::{thread_rng, Rng};
+    use rand::{rng, Rng};
 
     use super::*;
 
@@ -192,7 +192,7 @@ mod tests {
     }
 
     fn random_seq_with_len(len: usize, rng: &mut impl Rng) -> CharSeq {
-        let x: u64 = rng.gen();
+        let x: u64 = rng.random();
         let x = if len < 64 { x & ((1u64 << len) - 1) } else { x };
         CharSeq {
             values: x,
@@ -201,17 +201,17 @@ mod tests {
     }
 
     fn random_pair() -> (CharSeq, CharSeq) {
-        let mut rng = thread_rng();
-        let len = rng.gen_range(0..64);
+        let mut rng = rng();
+        let len = rng.random_range(0..64);
         (
             random_seq_with_len(len, &mut rng),
             random_seq_with_len(len, &mut rng),
         )
     }
 
     fn random_seq() -> CharSeq {
-        let mut rng = thread_rng();
-        let len = rng.gen_range(0..64);
+        let mut rng = rng();
+        let len = rng.random_range(0..64);
         random_seq_with_len(len, &mut rng)
     }
 

src/ltl/trace.rs

@@ -54,7 +54,7 @@ pub fn traces_from_file(
     parse_traces(&buf)
 }
 
-pub(crate) fn parse_traces(buf: &str) -> (Vec<Trace>, Vec<String>, Vec<bool>, Operators) {
+pub fn parse_traces(buf: &str) -> (Vec<Trace>, Vec<String>, Vec<bool>, Operators) {
     let mut traces: Vec<_> = buf
         .split("---")
         .take(2)

src/main.rs

@@ -2,15 +2,15 @@ use std::path::PathBuf;
 
 use clap::{Parser, Subcommand};
 
-use log::info;
-use ltl_rs::{
+use bolt::{
     algos::{
-        beam_search::BeamSearchParams, enumeration::EnumParams, meta::divide_conquer,
-        set_cover::SetCoverParams, BoolAlgoParams,
+        BoolAlgoParams, beam_search::BeamSearchParams, enumeration::EnumParams,
+        meta::divide_conquer, set_cover::SetCoverParams,
     },
     formula::tree::FormulaTree,
     ltl::trace::traces_from_file,
 };
+use log::info;
 
 fn main() {
     env_logger::init();