2 stable releases

1.1.0 Nov 17, 2020
1.0.0 Nov 15, 2020

#2402 in Parser implementations

MIT license

175KB
6K SLoC

C 4.5K SLoC // 0.0% comments C++ 631 SLoC // 0.1% comments Rust 317 SLoC Shell 240 SLoC // 0.1% comments

Btor2Tools

Build Status Crate API Lines of Code MIT licensed

This crate provides high-level FFI bindings for the C Btor2Tools package:

The Btor2Tools package provides a generic parser and tools for the BTOR2 format.

For a more detailed description of the BTOR2 format, refer to BTOR2, BtorMC and Boolector 3.0. Aina Niemetz, Mathias Preiner, Clifford Wolf, and Armin Biere. CAV 2018.

Status

This is work in progress. Bindings for the parser are exported and ready to use, while bindings for the simulator are not.

Installation

This crate is on crates.io, so you can simply add it as a dependency in your Cargo.toml:

[dependencies]
btor2tools = "1"

This crate relies on the btor2tools-sys crate, which does statically link C btor2tools package into your binary. So no more action required.

Dependencies

~0.5–3.5MB
~63K SLoC