[]
= "rustsat-ipasir"
= "0.1.3"
= true
= ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
= true
= "IPASIR bindings for RustSAT"
= ["sat-solver", "rustsat"]
= "https://github.com/chrjabs/rustsat"
= "README.md"
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
[]
= true
= true
= true
= true