安全-Rust Btor2解析器

这个包是一个轻量级的Btor2Tools和它们的Rust包装器btor2tools的替代品。此解析器仅使用安全Rust。

用法

use btor2rs::Btor2;
let path = std::path::Path::new("example.btor2");
let content = std::fs::read_to_string(path).unwrap();
let btor2 = Btor2::parse(content.lines());
println!("Parsed: {:?}", btor2);

Btor2说明

Btor2格式在Niemetz, A., Preiner, M., Wolf, C., Biere, A. (2018). BTOR2, BtorMC and Boolector 3.0. CAV 2018. 中（不完整地）进行了说明。这个包旨在与Btor2Tools解析的格式兼容，并用于硬件模型检查基准。具体来说，可以通过使用负号立即对右侧节点进行位取反，这是原始论文中没有的。

许可证

此包根据您的选择，在Apache 2.0许可证或MIT许可证下发布。