[dependencies.bit-vec]
version = "0.5.0"
[dependencies.log]
optional = true
version = "0.4"
[dependencies.smallvec]
version = "0.6"
[features]
default = []
logging = ["log"]
[package]
authors = ["Simon Cruanes", "Masaki Hara <ackie.h.gmai@gmail.com>"]
categories = ["algorithms"]
description = "SAT solver in Rust"
homepage = "https://github.com/c-cube/batsat"
keywords = ["sat", "minisat"]
license = "MIT"
name = "batsat"
readme = "../../README.md"
repository = "https://github.com/c-cube/batsat"
version = "0.2.0"