falcon-z3 0.4.4

Rust bindings for z3 and Falcon
[package]
name = "falcon-z3"
version = "0.4.4"
authors = ["Alex Eubanks <endeavor@rainbowsandpwnies.com>"]
homepage = "https://github.com/falconre/falcon-z3"
repository = "https://github.com/falconre/falcon-z3"
description = "Rust bindings for z3 and Falcon"
readme = "README.md"
license = "MIT"

[dependencies]
error-chain = "0.12"
falcon = "0.4.4"
num-bigint = { version="0.2", features = ["serde"]}
num-traits = "0.2.1"
z3-sys = "0.3"

[lib]
name = "falcon_z3"
path = "lib/lib.rs"