prove-rs / z3.rs
git clone https://github.com/prove-rs/z3.rs.git
Rust bindings for the Z3 solver.
+0
stars, 24h · #41,683
+~0
stars, 7 days · #46,004
+~0
stars, 30 days · #46,597
537
★ total
157
forks · 52 open issues
Star history (as recorded here)
LanguageRust
License—
Created2018-03-08 (8y ago)
Last push1d ago
OwnerOrganization
GitHub topics
Links
- GitHub: github.com/prove-rs/z3.rs
- Releases · Issues · Hacker News mentions