feat: publish CLI crate to crates.io and update install docs

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: GiggleLiu

.claude/skills/release.md

@@ -36,6 +36,4 @@ Both must pass with zero warnings before proceeding.
 make release V=x.y.z
 ```
 
-This target bumps versions in `Cargo.toml` and `problemreductions-macros/Cargo.toml`, runs `cargo check`, commits, tags, and pushes. CI publishes to crates.io.
-
-**Note:** `problemreductions-cli` has its own independent version and is not published to crates.io.
+This target bumps versions in `Cargo.toml`, `problemreductions-macros/Cargo.toml`, and `problemreductions-cli/Cargo.toml`, runs `cargo check`, commits, tags, and pushes. CI publishes all three crates to crates.io.

.github/workflows/release.yml

@@ -46,3 +46,9 @@ jobs:
 
       - name: Publish main crate
         run: cargo publish --token ${{ secrets.CARGO_REGISTRY_TOKEN }}
+
+      - name: Wait for main crate to be indexed
+        run: sleep 30
+
+      - name: Publish CLI crate
+        run: cargo publish --manifest-path problemreductions-cli/Cargo.toml --token ${{ secrets.CARGO_REGISTRY_TOKEN }}

Makefile

@@ -129,9 +129,11 @@ endif
 	@echo "Releasing v$(V)..."
 	sed -i '' 's/^version = ".*"/version = "$(V)"/' Cargo.toml
 	sed -i '' 's/^version = ".*"/version = "$(V)"/' problemreductions-macros/Cargo.toml
+	sed -i '' 's/^version = ".*"/version = "$(V)"/' problemreductions-cli/Cargo.toml
 	sed -i '' 's/problemreductions-macros = { version = "[^"]*"/problemreductions-macros = { version = "$(V)"/' Cargo.toml
+	sed -i '' 's/problemreductions = { version = "[^"]*"/problemreductions = { version = "$(V)"/' problemreductions-cli/Cargo.toml
 	cargo check
-	git add Cargo.toml problemreductions-macros/Cargo.toml
+	git add Cargo.toml problemreductions-macros/Cargo.toml problemreductions-cli/Cargo.toml
 	git commit -m "release: v$(V)"
 	git tag -a "v$(V)" -m "Release v$(V)"
 	git push origin main --tags

README.md

@@ -29,7 +29,7 @@ problemreductions = "0.2"
 Install the `pred` command-line tool for exploring the reduction graph from your terminal:
 
 ```bash
-cargo install --git https://github.com/CodingThrust/problem-reductions problemreductions-cli
+cargo install problemreductions-cli
 ```
 
 Or build from source:

docs/src/cli.md

@@ -4,10 +4,10 @@ The `pred` command-line tool lets you explore the reduction graph, create proble
 
 ## Installation
 
-Install from the repository:
+Install from crates.io:
 
 ```bash
-cargo install --git https://github.com/CodingThrust/problem-reductions problemreductions-cli
+cargo install problemreductions-cli
 ```
 
 Or build from source:

problemreductions-cli/Cargo.toml

@@ -1,9 +1,10 @@
 [package]
 name = "problemreductions-cli"
-version = "0.1.0"
+version = "0.3.0"
 edition = "2021"
 description = "CLI tool for exploring NP-hard problem reductions"
 license = "MIT"
+repository = "https://github.com/CodingThrust/problem-reductions"
 
 [[bin]]
 name = "pred"
@@ -19,7 +20,7 @@ lpsolve = ["problemreductions/ilp-lpsolve"]
 microlp = ["problemreductions/ilp-microlp"]
 
 [dependencies]
-problemreductions = { path = "..", default-features = false }
+problemreductions = { version = "0.3.0", path = "..", default-features = false }
 clap = { version = "4", features = ["derive"] }
 anyhow = "1"
 serde = { version = "1", features = ["derive"] }