# Btor2Tools

[![Build Status](https://github.com/ChristianMoesl/btor2tools-sys/workflows/Test/badge.svg)](https://github.com/ChristianMoesl/btor2tools-sys/actions)
[![Crate](https://img.shields.io/crates/v/btor2tools-sys.svg)](https://crates.io/crates/btor2tools-sys)
[![API](https://docs.rs/btor2tools-sys/badge.svg)](https://docs.rs/btor2tools-sys)

This crate provides FFI bindings for the [C Btor2Tools package](https://github.com/Boolector/btor2tools):

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.