osspath
Archive
Repos
osspath
Jobs
Repos
Funding
Ecosystems
Orgs
Explore
Search
⌘K
← Repositories
prove-rs
z3.rs
Rust bindings for the Z3 solver.
511
Stars
149
Forks
45
Issues
License unknown
License
active
Last GitHub commit: Jun 21, 2026
View on GitHub →
Contribution
45 open issues →
active project
Dependencies (11 total)
serde_json
clap
regex
log
reqwest
env_logger
rayon
semver
+3 more
← Browse all repos
Something inaccurate? Report a correction →