boolector-sys

This Rust crate provides low-level bindings for the Boolector SMT solver, version 3.1.0. It has the following limitations:

• the boolector library must be available on the system, no attempt is made to build it from source;
• the boolector library must be a shared library, otherwise its dependencies on the SAT solvers and btor2parser will not be satisfied.

Installation

First, compile boolector as a shared library and install it. Then add this crate to your Cargo.toml:

[dependencies]
boolector-sys = "0.4"

License

This crate is licensed under the MIT license.