z3

cargov0.20.0

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

License MITpermissive53 versions0 deps334,500 weekly dl
prove-rs/z3.rs.git
82
/ 100
Health
safe to use

[email protected] is safe to use (health: 82/100)

Health breakdown0 – 100
25/25
maintenance
14/20
popularity
25/25
security
15/15
maturity
3/15
community
Vulnerabilities
0
none known

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/cargo/z3
More from cargo
hashbrowngetrandomwindows-syssyn
Browse all cargo packages →

First published · 2015-12-28T06:23:56.693379Z

Last updated · 2026-04-01T18:31:54.783585Z