GitHub repository: monocodus-demonstrations/z3.rs
Description: Rust bindings for the Z3 solver.