[package]
name = "simple-sat-solver"
version = "0.1.0"
edition = "2021"
default-run = "simple-sat-solver"

[dependencies]
clap = { version = "4.5.20", features = ["derive"] }
miette = { version = "7.2.0", features = ["fancy"] }