This Rust crate provides low-level bindings for the Boolector SMT solver, version 3.0.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 andbtor2parser
will not be satisfied.
First, compile boolector
as a shared library and install it. Then add this
crate to your Cargo.toml
:
[dependencies]
boolector-sys = "0.3"
This crate is licensed under the MIT license.