Safe high-level bindings for the Bitwuzla SMT solver, version 3.2.2.
This crate relies on the bitwuzla-sys crate, so you will need to follow
its directions for installation as well. In particular, you can either:
- compile and install Bitwuzla 3.2.2 on your system as a shared library; or
- activate the
vendor-cadicalfeature on this crate, which will automatically build a static bitwuzla and link to it. E.g.,[dependencies] bitwuzla = { version = "0.1.0", features = ["vendor-cadical"] }
For more details, see the bitwuzla-sys README.
These bindings are not necessarily complete; there may be some features
present in bitwuzla-sys which are not directly exposed here, e.g.,
uninterpreted functions (bitwuzla_uf()). Contributions are welcome.
This crate currently requires Rust 1.41+.