[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 }

[lints]
workspace = true