[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 }
# The resident z3's own process tree is metered with the family's tree meter
# (the kernel's per-process CPU energy count, read for every member): the same
# meter, by the same path, as jcp-gateway's upstream server.
sandbox-meter = { path = "../../../../sandbox/sandbox-rs/crates/sandbox-meter" }

# 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 }
# tests/z3_tree.rs's oracle reads the resident z3's energy count with
# proc_pid_rusage into a raw buffer, sharing no code with the meter.
libc = "0.2"

[lints]
workspace = true