Low-level Rust bindings for the Boolector SMT solver - View it on GitHub