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

[dependencies]
itertools = "0.8"

[dev-dependencies]
quickcheck="0.7"
sudoku="0.7"

[build-dependencies]
cc="1"
bindgen="0.42"

[features]
glucose = []