[package]
name = "satificator"
version = "0.1.2"
authors = ["maxtremblay <matrem@protonmail.com>"]
edition = "2018"
description = "Generates dimacs file from SAT on graphs"
license = "MIT OR Apache-2.0"

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

[dependencies]
indexmap = "1.6.2"
itertools = "0.10.0"
anyhow = "1.0.44"
serde = { version = "1.0.130", features = ["derive"] }

[dev-dependencies]
bigs = "0.2.3"
rand = "0.8.4"