An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust. - View it on GitHub