[package]
name = "rustsat-cadical"
version = "0.4.1"
edition.workspace = true
authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
license.workspace = true
description = "Interface to the SAT solver CaDiCaL for the RustSAT library."
keywords = ["sat-solver", "rustsat"]
repository = "https://github.com/chrjabs/rustsat"
readme = "README.md"

build = "build.rs"

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[features]
default = ["quiet"]
debug = []
quiet = []
logging = []
v1-5-0 = []
v1-5-1 = []
v1-5-2 = []
v1-5-3 = []
v1-5-4 = []
v1-5-5 = []
v1-5-6 = []
v1-6-0 = []
v1-7-0 = []
v1-7-1 = []
v1-7-2 = []
v1-7-3 = []
v1-7-4 = []
v1-7-5 = []
v1-8-0 = []
v1-9-0 = []
v1-9-1 = []
v1-9-2 = []
v1-9-3 = []
v1-9-4 = []
v1-9-5 = []
v2-0-0 = []
v2-1-0 = []

[dependencies]
anyhow.workspace = true
cpu-time.workspace = true
thiserror.workspace = true
rustsat.workspace = true

[build-dependencies]
bindgen.workspace = true
cc.workspace = true
git2.workspace = true
glob.workspace = true
chrono.workspace = true

[dev-dependencies]
clap.workspace = true
rustsat-solvertests.workspace = true
signal-hook.workspace = true