[]
= "minisat"
= "0.3.0"
= ["Bjørnar Luteberget <luteberget@gmail.com>"]
= "build.rs"
= "MiniSat Rust interface. Solves a boolean satisfiability problem given in conjunctive normal form."
="README.md"
="https://docs.rs/minisat"
="https://github.com/luteberget/minisat-rs/"
=["api-bindings","science"]
="MIT"
[]
= "0.7"
[]
="1"
="0.42"