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