From 62e4d30b7cf6d384bdab83515afa864d8d1b92c3 Mon Sep 17 00:00:00 2001 From: Xiwei Pan Date: Fri, 18 Sep 2026 00:01:21 +0800 Subject: [PATCH] Remove unused dependencies and narrow Tokio features --- Cargo.toml | 1 - problemreductions-cli/Cargo.toml | 5 ++--- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index 1fa1906fa..64b6cd767 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -32,7 +32,6 @@ num-rational = "0.4" num-traits = "0.2" good_lp = { version = "=1.14.2", default-features = false, features = ["highs"] } inventory = "0.3" -ordered-float = "5.0" rand = "0.10" criterion = { version = "0.8", optional = true } problemreductions-macros = { version = "0.6.0", path = "problemreductions-macros" } diff --git a/problemreductions-cli/Cargo.toml b/problemreductions-cli/Cargo.toml index be37a9085..25b80054b 100644 --- a/problemreductions-cli/Cargo.toml +++ b/problemreductions-cli/Cargo.toml @@ -17,7 +17,7 @@ path = "src/bin/pred_sym.rs" [features] all = ["mcp"] -mcp = ["dep:rmcp", "dep:tokio", "dep:schemars", "dep:tracing", "dep:tracing-subscriber"] +mcp = ["dep:rmcp", "dep:tokio", "dep:schemars", "dep:tracing-subscriber"] [dependencies] problemreductions = { version = "0.6.0", path = "..", features = ["example-db"] } @@ -29,7 +29,6 @@ num-bigint = "0.4" clap_complete = "4" owo-colors = { version = "4", features = ["supports-colors"] } rmcp = { version = "1.2", features = ["server", "macros", "transport-io"], optional = true } -tokio = { version = "1", features = ["full"], optional = true } +tokio = { version = "1", features = ["rt-multi-thread"], optional = true } schemars = { version = "1.0", optional = true } -tracing = { version = "0.1", optional = true } tracing-subscriber = { version = "0.3", optional = true }