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