GitHub repository: wtdcode/z3.rs
Description: Rust bindings for the Z3 solver.