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