RustDocs Hub Browse third-party crates
THIRD-PARTY CRATE

z3-sys

Low-level bindings for the Z3 SMT solver from Microsoft Research

Current version0.12.0
LicenseMIT
Total downloads1,569,753
Last updated2026-07-23
Homepagehttps://github.com/prove-rs/z3.rs
Repositoryhttps://github.com/prove-rs/z3.rs.git
Documentationhttps://docs.rs/z3-sys/

Categories

External FFI bindingsNo standard libraryNo standard library::No dynamic allocation

Keywords

ffisatisfiabilitysmtsolver

View z3-sys 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.