[build-dependencies.bindgen]
version = "0.42"
[build-dependencies.cc]
version = "1"
[dependencies.itertools]
version = "0.7"
[dev-dependencies.quickcheck]
version = "0.7"
[package]
authors = ["Bjørnar Luteberget <luteberget@gmail.com>"]
build = "build.rs"
categories = ["api-bindings", "science"]
description = "MiniSat Rust interface. Solves a boolean satisfiability problem given in conjunctive normal form."
documentation = "https://docs.rs/minisat"
license = "MIT"
name = "minisat"
readme = "README.md"
repository = "https://github.com/luteberget/minisat-rs/"
version = "0.3.3"