[dependencies.log]
version = "0.4"
[dependencies.num]
optional = true
version = "0.4.0"
[dependencies.z3-sys]
version = "0.8"
[dev-dependencies.env_logger]
version = "0.10"
[dev-dependencies.semver]
version = "1"
[features]
arbitrary-size-numeral = ["num"]
default = []
static-link-z3 = ["z3-sys/static-link-z3"]
[package]
authors = ["Graydon Hoare <graydon@pobox.com>", "Bruce Mitchener <bruce.mitchener@gmail.com>", "Nick Fitzgerald <fitzgen@gmail.com>"]
categories = ["api-bindings"]
description = "High-level rust bindings for the Z3 SMT solver from Microsoft Research"
documentation = "https://docs.rs/z3/"
homepage = "https://github.com/prove-rs/z3.rs"
keywords = ["FFI", "SMT", "satisfiability", "solver"]
license = "MIT"
name = "z3"
readme = "README.md"
repository = "https://github.com/prove-rs/z3.rs.git"
version = "0.12.1"