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

[dependencies]
joulecontract-schema = { path = "../joulecontract-schema" }
proof-schema = { path = "../../../../proof/proof-rs/crates/proof-schema" }
proof-cascade = { path = "../../../../proof/proof-rs/crates/proof-cascade" }
serde = { workspace = true }
thiserror = { workspace = true }

[dev-dependencies]
proof-solvers = { path = "../../../../proof/proof-rs/crates/proof-solvers" }