checklist.day

Z3 Sys

JSON →
library 0.11.0 ·rust
✓ verified Jun 17, 2026
other

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

Resources

docsdocs.rs/z3-sys/ ↗
githubgithub.com/prove-rs/z3.rs ↗

API endpoints

full doc /v1/registry/z3-sys
install /v1/registry/z3-sys/install