sat-rs 0.0.3

[dependencies.clap]
features = ["derive"]
version = "4.0"

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