diff --git a/Cargo.toml b/Cargo.toml
index 8b309cb..b3e6580 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -29,25 +29,25 @@ name = "unicorn"
 path = "src/main.rs"
 
 [dependencies]
-byteorder = "~1.4.3"
-clap = { version = "~4.3.3", features = ["cargo"] }
-strum = { version = "~0.24.1", features = ["derive"] }
+byteorder = "~1.5.0"
+clap = { version = "~4.4.7", features = ["cargo"] }
+strum = { version = "~0.25.0", features = ["derive"] }
 riscu = "~0.5"
-log = "~0.4.19"
-regex = "~1.8.4"
+log = "~0.4.20"
+regex = "~1.10.2"
 env_logger = "~0.10"
-bytesize = "~1.2"
-anyhow = "~1.0.71"
-thiserror = "~1.0.40"
-pyo3 = { version = "~0.19.0", features = ["auto-initialize"] }
-egui = { version = "0.22.0", optional = true }
+bytesize = "~1.3.0"
+anyhow = "~1.0.75"
+thiserror = "~1.0.50"
+pyo3 = { version = "~0.20.0", features = ["auto-initialize"] }
+egui = { version = "0.23.0", optional = true }
 indexmap = { version = "1.9.3", optional = true }
-eframe = { version = "0.22.0", optional = true }
-rfd = { version = "0.11.4", optional = true }
+eframe = { version = "0.23.0", optional = true }
+rfd = { version = "0.12.1", optional = true }
 boolector-solver = { package = "boolector", version = "~0.4.3", features = ["vendor-lgl"], optional = true }
 boolector-sys = { version = "~0.7.1", features = ["vendor-lgl"], optional = true }
-z3-solver = { package = "z3", version = "~0.11.2", features = ["static-link-z3"], optional = true }
-z3-sys = { version = "~0.7.1", features = ["static-link-z3"], optional = true }
+z3-solver = { package = "z3", version = "~0.12.1", features = ["static-link-z3"], optional = true }
+z3-sys = { version = "~0.8.1", features = ["static-link-z3"], optional = true }
 kissat-rs = { git = "https://github.com/firefighterduck/kissat-rs", branch = "main", version = "0.1", optional = true }
 varisat-rs = { package = "varisat", version = "0.2.2", optional = true }
 cadical-rs = { package = "cadical", version = "0.1.14", optional = true }
@@ -58,10 +58,10 @@ cadical-rs = { package = "cadical", version = "0.1.14", optional = true }
 riscu = { git = 'https://github.com/cksystemsgroup/riscu' }
 
 [dev-dependencies]
-rayon = "~1.7"
-tempfile = "~3.6.0"
-which = "~4.4"
-log = "~0.4.19"
+rayon = "~1.8.0"
+tempfile = "~3.8.1"
+which = "~4.4.2"
+log = "~0.4.20"
 env_logger = "~0.10"
 
 [dev-dependencies.cargo-husky]