boolector-sys 0.7.2

Low-level bindings for the Boolector SMT solver
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
28
29
30
31
32
33

[build-dependencies.cc]
optional = true
version = "1.0"

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

[build-dependencies.copy_dir]
optional = true
version = "0.1.2"

[dependencies.libc]
version = "0.2.73"

[features]
vendor-lgl = ["cc", "cmake", "copy_dir"]

[package]
authors = ["Mikhail Solovev <icee@icee.ru>"]
build = "build.rs"
categories = ["external-ffi-bindings"]
description = "Low-level bindings for the Boolector SMT solver"
documentation = "https://docs.rs/boolector-sys"
edition = "2018"
homepage = "https://github.com/fatemender/boolector-sys"
keywords = ["ffi", "smt"]
license = "MIT"
links = "boolector"
name = "boolector-sys"
readme = "README.md"
repository = "https://github.com/fatemender/boolector-sys"
version = "0.7.2"