boolector 0.4.3

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

[dependencies]
boolector-sys = "0.7.1"
libc = "0.2.73"

[features]
vendor-lgl = ["boolector-sys/vendor-lgl"]