GitHub repository: yangky11/smtlib-rs
Primary language: Rust
Description: A high-level API for interacting with SMT solvers.