boolector-sys

此Rust crate为Boolector SMT求解器（版本3.2.2）提供底层绑定。

安装

使用共享 boolector 库

将 boolector 编译为共享库并安装。然后将此crate添加到您的 Cargo.toml

[dependencies]
boolector-sys = "0.7.2"

使用vendored静态 boolector 库

此方法仅适用于类UNIX目标。启用 vendor-lgl 功能将此crate添加到您的 Cargo.toml

[dependencies]
boolector-sys = { version = "0.7.2", features = ["vendor-lgl"] }

启用 vendor-lgl 将自动构建静态 boolector 库并将其链接。目前这使用Lingeling SAT求解器。

为了使构建成功，您需要在构建主机上安装一些工具；对于基于Debian的发行版，build-essential、cmake、curl 和 git 应该足够。

许可证

此crate根据MIT许可证许可。