#parser #btor2 #ffi

sys btor2tools-sys

Low-level bindings for the btor2tools package

2 stable releases

1.1.0 Nov 9, 2023
1.0.0 Nov 15, 2020

#719 in #ffi

27 downloads per month
Used in btor2tools

MIT license

210KB
7K SLoC

C 3.5K SLoC // 0.0% comments C++ 3K SLoC // 0.0% comments Shell 240 SLoC // 0.1% comments Rust 64 SLoC // 0.2% comments

Btor2Tools

Build Status Crate API

This crate provides 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.

Dependencies

~0–2.5MB
~40K SLoC