boolector 0.2.0

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
[[package]]
name = "boolector"
version = "0.2.0"
dependencies = [
 "boolector-sys",
 "libc",
]

[[package]]
name = "boolector-sys"
version = "0.3.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "fa1afe1ea3f79d4f4c6b81d5981f850413e807bbbf7d4e2fbaef8d9d2363ee44"
dependencies = [
 "libc",
]

[[package]]
name = "libc"
version = "0.2.66"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d515b1f41455adea1313a4a2ac8a8a477634fbae63cc6100e3aebb207ce61558"