GitHub repository: rlkelly/z3.rs
Primary language: Rust
Description: Rust bindings for the Z3 solver.