[package]
name = "cslint-cli"
version.workspace = true
edition.workspace = true
license.workspace = true
authors.workspace = true
repository.workspace = true
rust-version.workspace = true
description = "CLI binary for the cslint constraint-system linter"
[[bin]]
name = "cslint"
path = "src/main.rs"
[dependencies]
comp-cat-rs.workspace = true
cslint-core.workspace = true
cslint-noir.workspace = true
cslint-smt = { workspace = true, optional = true }
[features]
smt = ["dep:cslint-smt"]
[lints]
workspace = true