diff --git a/Cargo.toml b/Cargo.toml
index c2f37d69..c73a5b4a 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -35,33 +35,33 @@ harness = false
 required-features = ["z3"]
 
 [dependencies]
-byteorder = "~1.4"
+byteorder = "~1.5.0"
 clap = { version = "~3.2", features = ["cargo"] }
-strum = { version = "~0.24", features = ["derive"] }
+strum = { version = "~0.26.0", features = ["derive"] }
 riscu = "~0.5"
 petgraph = "~0.6"
 rand = "~0.8"
 modinverse = "~0.1"
 log = "~0.4"
-env_logger = "~0.9"
-bytesize = "~1.1"
-itertools = "~0.10"
+env_logger = "~0.11.0"
+bytesize = "~1.3.0"
+itertools = "~0.13.0"
 anyhow = "~1.0"
 thiserror = "~1.0"
 divisors = "~0.2"
 const_format = "~0.2"
-lazy_static = "~1.4"
+lazy_static = "~1.5.0"
 boolector-solver = { package = "boolector", version = "~0.4", features = ["vendor-lgl"], optional = true }
 boolector-sys = { version = "~0", features = ["vendor-lgl"], optional = true }
-z3-solver = { package = "z3", version = "~0.11", features = ["static-link-z3"], optional = true }
+z3-solver = { package = "z3", version = "~0.12.0", features = ["static-link-z3"], optional = true }
 z3-sys = { version = "~0", features = ["static-link-z3"], optional = true }
 libc = "~0"
 
 [dev-dependencies]
 utils = { path = "utils" }
-rayon = "~1.5"
-tempfile = "~3.3"
-criterion = { version = "~0.3", features = ["html_reports", "cargo_bench_support", "csv_output"] }
+rayon = "~1.10.0"
+tempfile = "~3.12.0"
+criterion = { version = "~0.5.0", features = ["html_reports", "cargo_bench_support", "csv_output"] }
 
 [dev-dependencies.cargo-husky]
 version = "1"
diff --git a/utils/Cargo.toml b/utils/Cargo.toml
index dfe77888..621226fe 100644
--- a/utils/Cargo.toml
+++ b/utils/Cargo.toml
@@ -5,8 +5,8 @@ authors = ["Christian Mösl <christian.moesl@live.at>"]
 edition = "2018"
 
 [dependencies]
-rayon = "~1.5"
-tempfile = "~3.3"
-which = "~4.2"
+rayon = "~1.10.0"
+tempfile = "~3.12.0"
+which = "~4.4.0"
 log = "~0.4"
-env_logger = "~0.9"
+env_logger = "~0.11.0"