GitHub repository: simpl-energy/smtlib-rs
Description: A high-level API for interacting with SMT solvers.