[package]
name = "sat-rs"
version = "0.0.3"
license = "MIT"
description = "A SAT solver written in Rust"

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
[dependencies]
clap = { version = "4.0", features = ["derive"] }