[package]
name = "forge-reasoning"
version = "0.1.2"
edition = "2021"
authors = ["Forge Contributors"]
description = "Reasoning tools for LLM debugging - checkpointing, hypotheses, contradictions"
license = "GPL-3.0"
repository = "https://github.com/oldnordic/forge"
documentation = "https://docs.rs/forge-reasoning"
[dependencies]
serde = { workspace = true }
serde_json = { workspace = true }
anyhow = { workspace = true }
chrono = { version = "0.4", features = ["serde"] }
uuid = { version = "1.6", features = ["v4", "serde"] }
tokio = { workspace = true }
tracing = "0.1"
thiserror = "1.0"
async-trait = "0.1"
sqlitegraph = { version = "2.0", path = "/home/feanor/Projects/sqlitegraph/sqlitegraph-core" }
sha2 = "0.10"
petgraph = "0.6"
indexmap = "2"
rand = "0.8"
tokio-tungstenite = { version = "0.21", optional = true }
futures-util = { version = "0.3", optional = true }
[dev-dependencies]
tempfile = "3.9"
criterion = { version = "0.5", features = ["async_tokio"] }
rand = "0.8"
[features]
default = ["sqlite-backend", "websocket"]
sqlite-backend = []
native-v3 = []
websocket = ["tokio-tungstenite", "futures-util"]
[[bench]]
name = "checkpoint_bench"
harness = false