[[package]]
name = "boolector"
version = "0.3.0"
dependencies = [
"boolector-sys",
"libc",
]
[[package]]
name = "boolector-sys"
version = "0.4.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "47fdef66955c9dcd3c8c9e2146e5ae91126041f0ce17c5bb7e8767bb1679154f"
dependencies = [
"libc",
]
[[package]]
name = "libc"
version = "0.2.66"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d515b1f41455adea1313a4a2ac8a8a477634fbae63cc6100e3aebb207ce61558"