RustDocs Hub Browse third-party crates
THIRD-PARTY CRATE

z3

High-level rust bindings for the Z3 SMT solver from Microsoft Research

Current version0.20.2
LicenseMIT
Total downloads1,481,844
Last updated2026-06-26
Homepagehttps://github.com/prove-rs/z3.rs
Repositoryhttps://github.com/prove-rs/z3.rs.git
Documentationhttps://docs.rs/z3/

Categories

API bindings

Keywords

ffisatisfiabilitysmtsolver

View z3 on crates.io →

RustDocs Hub renders this crate’s structured metadata only (name, description, downloads, version, license string, links, categories, keywords) per crates.io’s Data Access Policy. It does not re-host this crate’s README or source code — view the full README and source on crates.io or the repository link above.

Data as of 2026-07-25 (crates.io database dump, timestamp 2026-07-25T02:00:36Z). Source: crates.io · db-dump.tar.gz · methodology & corrections.