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