Btor2Tools

此crate为C Btor2Tools包提供FFI绑定。

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

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

状态

这是一个正在进行中的工作。解析器的绑定已导出并可使用，而模拟器的绑定尚未完成。