[dependencies.boolector-sys]
version = "0.7.1"
[dependencies.libc]
version = "0.2.73"
[features]
vendor-lgl = ["boolector-sys/vendor-lgl"]
[package]
authors = ["Craig Disselkoen <craigdissel@gmail.com>"]
description = "Safe high-level bindings for the Boolector SMT solver"
documentation = "https://docs.rs/boolector"
edition = "2018"
keywords = ["boolector", "smt", "ffi", "bindings"]
license = "MIT"
name = "boolector"
readme = "README.md"
repository = "https://github.com/cdisselkoen/boolector-rs"
version = "0.4.3"