z3-sys 0.8.1

Low-level bindings for the Z3 SMT solver from Microsoft Research
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

[build-dependencies.bindgen]
default-features = false
features = ["runtime"]
version = "0.66.0"

[build-dependencies.cmake]
optional = true
version = "0.1.49"

[features]
static-link-z3 = ["cmake"]

[package]
authors = ["Graydon Hoare <graydon@pobox.com>", "Bruce Mitchener <bruce.mitchener@gmail.com>", "Nick Fitzgerald <fitzgen@gmail.com>"]
build = "build.rs"
categories = ["external-ffi-bindings"]
description = "Low-level bindings for the Z3 SMT solver from Microsoft Research"
documentation = "https://docs.rs/z3-sys/"
edition = "2018"
homepage = "https://github.com/prove-rs/z3.rs"
keywords = ["FFI", "SMT", "satisfiability", "solver"]
license = "MIT"
links = "z3"
name = "z3-sys"
readme = "README.md"
repository = "https://github.com/prove-rs/z3.rs.git"
version = "0.8.1"