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