GitHub repository: ChristianMoesl/btor2tools-sys
Primary language: Rust
Description: Rust FFI bindings for https://github.com/Boolector/btor2tools