GitHub repository: simpl-energy/z3.rs
Description: Rust bindings for the Z3 solver.