z3 0.11.2

High-level rust bindings for the Z3 SMT solver from Microsoft Research
Documentation 
[package]
name = "z3"
version = "0.11.2"
authors = ["Graydon Hoare <graydon@pobox.com>", "Bruce Mitchener <bruce.mitchener@gmail.com>", "Nick Fitzgerald <fitzgen@gmail.com>"]

description = "High-level rust bindings for the Z3 SMT solver from Microsoft Research"
license = "MIT"
keywords = ["FFI", "SMT", "satisfiability", "solver"]
categories = ["api-bindings"]
readme = "README.md"
documentation = "https://docs.rs/z3/"
homepage = "https://github.com/prove-rs/z3.rs"
repository = "https://github.com/prove-rs/z3.rs.git"


[features]
default = []
arbitrary-size-numeral = ["num"]

# Enable this feature to statically link our own build of Z3, rather than
# dynamically linking to the system's `libz3.so`.
static-link-z3 = ["z3-sys/static-link-z3"]

[dependencies]
log = "0.4"
lazy_static = "1"

# optional dependencies
num = { version = "0.2.0", optional=true }

[dev-dependencies]
env_logger = "0.6"
semver = "0.9"

[dependencies.z3-sys]
path = "../z3-sys"
version = "0.7.1"