-
Notifications
You must be signed in to change notification settings - Fork 1
Closed
Labels
enhancementNew feature or requestNew feature or request
Description
Future enhancements for pred CLI tool
Tracking items deferred from v1 (see docs/plans/2026-02-18-cli-tool-design.md).
Features
- k-neighbor exploration: Given a problem, list k-hop neighbors in the reduction graph for both outgoing (can reduce to) and incoming (can be reduced from) directions. e.g.,
pred graph neighbors MIS --hops 2 --direction both - ILP solver integration: Add
--solver ilpoption topred solve - All paths:
pred graph paths <Source> <Target>— list all reduction paths, not just cheapest - Interactive REPL mode:
pred interactive— persistent session for exploratory learning with state between commands - Colored/table output: Pretty-printed tables, colored terminal output for better readability
- Shell completions: Generate completions for bash/zsh/fish via clap
Context
The v1 CLI (pred) provides graph exploration (list, show, path, export) and computation (solve, reduce, evaluate, schema) with plain text and JSON output.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or request