[package]
name = "rustsat-batsat"
version = "0.1.0"
edition = "2021"
authors = ["Noah Bruns <nbruns@efs.at>"]
license = "MIT"
description = "Interface to the SAT solver BatSat for the RustSAT library. BatSat is fully implemented in Rust"
keywords = ["sat-solver", "rustsat", "batsat"]
repository = "https://github.com/chrjabs/rustsat"
readme = "README.md"
[dependencies]
batsat = "0.5.0"
anyhow.workspace = true
cpu-time.workspace = true
thiserror.workspace = true
rustsat.workspace = true
[dev-dependencies]
rustsat-solvertests = { path = "../solvertests" }