bitwuzla-sys

这个 Rust 包为 Bitwuzla SMT 求解器提供了低级绑定，版本 0.5.0。

安装

使用共享 bitwuzla 库

将 bitwuzla 编译为共享库并安装它。然后将其添加到您的 Cargo.toml

[dependencies]
bitwuzla-sys = "0.5"

使用 vendored 静态 bitwuzla 库

这仅在 UNIX 类目标上可行。启用 vendor-cadical 功能将此包添加到您的 Cargo.toml

[dependencies]
bitwuzla-sys = { version = "0.5", features = ["vendor-cadical"] }

启用 vendor-cadical 将自动构建一个静态 bitwuzla 库并将其链接。目前这使用 CaDiCaL SAT 求解器。

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

许可证

此包根据 MIT 许可证 许可。