Btor2Tools

这个包为 C Btor2Tools 包提供了高级的 FFI 绑定

Btor2Tools 包为 BTOR2 格式提供了通用的解析器和工具

有关 BTOR2 格式的更详细描述，请参阅 BTOR2、BtorMC 和 Boolector 3.0。Aina Niemetz, Mathias Preiner, Clifford Wolf, 和 Armin Biere。CAV 2018。

状态

这是一个正在进行中的项目。解析器的绑定已导出并可供使用，而模拟器的绑定尚未准备就绪。

安装

这个包在 crates.io 上，因此您只需将其作为依赖项添加到您的 Cargo.toml

[dependencies]
btor2tools = "1"

这个包依赖于 btor2tools-sys 包，该包会将 C btor2tools 包静态链接到您的二进制文件中。因此不再需要其他操作。