boolector
Safe high-level bindings for the Boolector SMT solver, version 3.2.1.
Installation
This crate is on crates.io, so you can
simply add it as a dependency in your Cargo.toml
:
[]
= "0.4.1"
This crate relies on the boolector-sys
crate, so you will need to follow
its directions for installation as well. In particular, Boolector 3.2.1 must
be available on the system as a shared library.
Documentation
Full documentation, including examples, can be found at https://docs.rs/boolector.
Caveats
These bindings are not necessarily complete; there may be some features
present in boolector-sys
which are not directly exposed here, e.g.,
uninterpreted functions (boolector_uf()
). Contributions are welcome.
This crate currently requires Rust 1.39+.