chore(deps): update dependencies (minor changes)

Author: renovate[bot]

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.5.0", features = ["cargo"] }
+strum = { version = "~0.27.0", features = ["derive"] }
 riscu = "~0.5"
 log = "~0.4.19"
-regex = "~1.8.4"
-env_logger = "~0.10"
-bytesize = "~2.0.0"
+regex = "~1.11.0"
+env_logger = "~0.11.0"
+bytesize = "~2.1.0"
 anyhow = "~1.0.71"
 thiserror = "~2.0.0"
-pyo3 = { version = "~0.19.0", features = ["auto-initialize"] }
-egui = { version = "0.22.0", optional = true }
+pyo3 = { version = "~0.26.0", features = ["auto-initialize"] }
+egui = { version = "0.32.0", optional = true }
 indexmap = { version = "2.0.0", optional = true }
-eframe = { version = "0.22.0", optional = true }
-rfd = { version = "0.11.4", optional = true }
+eframe = { version = "0.32.0", optional = true }
+rfd = { version = "0.15.0", 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.18.0", features = ["static-link-z3"], optional = true }
+z3-sys = { version = "~0.9.0", 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,11 +58,11 @@ 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"
+rayon = "~1.11.0"
+tempfile = "~3.22.0"
 which = "~8.0.0"
 log = "~0.4.19"
-env_logger = "~0.10"
+env_logger = "~0.11.0"
 
 [dev-dependencies.cargo-husky]
 version = "1"