prove-rs/z3.rs

**Project Summary:** Prove-rs/z3.rs is an open-source Rust library that provides bindings for the Z3 solver, a powerful tool for automated reasoning and proof c