[dependencies.error-chain]
version = "0.12"
[dependencies.falcon]
version = "0.4.4"
[dependencies.num-bigint]
features = ["serde"]
version = "0.2"
[dependencies.num-traits]
version = "0.2.1"
[dependencies.z3-sys]
version = "0.3"
[lib]
name = "falcon_z3"
path = "lib/lib.rs"
[package]
authors = ["Alex Eubanks <endeavor@rainbowsandpwnies.com>"]
description = "Rust bindings for z3 and Falcon"
homepage = "https://github.com/falconre/falcon-z3"
license = "MIT"
name = "falcon-z3"
readme = "README.md"
repository = "https://github.com/falconre/falcon-z3"
version = "0.4.4"