[package]
name = "proof-solvers"
version.workspace = true
edition.workspace = true
license.workspace = true
repository.workspace = true
rust-version.workspace = true

[dependencies]
proof-schema = { workspace = true }

# Test-only: `ladder_never_fabricates_a_proof_when_a_rung_is_absent` drives the
# real router, because the fabrication bug lived in the *composition* of router
# and ladder, not in either alone. proof-cascade does not depend on this crate,
# so there is no cycle.
[dev-dependencies]
proof-cascade = { workspace = true }

[lints]
workspace = true