Rust
z3
v0.12.1
RESOLVED
High-level rust bindings for the Z3 SMT solver from Microsoft Research
Installation
npm install z3@0.12.1Add a Gold badge to your README
[](https://gold.safeguard.sh/package/rust/z3)0
Weekly Downloads
0
GitHub Stars
0
Dependencies
0
Vulnerabilities
Gold Verification
NOT GOLDDoes not currently meet the Gold bar.
No high or critical vulnerabilitiesNo high/critical among known issues.
License identifiedLicense not identified in metadata.
Verified provenanceSource repository is linked and traceable.
Malware-freeFull Gold screening not passed.
Last indexed: 2026-10-06T13:40:50Z
How Gold is determined →Package health
D3.7/10
OpenSSF Scorecard rates this project's security posture — supply-chain hygiene, maintenance, and review practices.
Updated this month
Maintained10/10
Dangerous Workflow10/10
Code Review2/10
Security Policy0/10
Branch Protection0/10
Fuzzing0/10
Pinned Dependencies0/10
Source: OpenSSF Scorecard · scored 2026-10-05
Package Information
License
Last Updated2026-10-06T13:40:50Z
First Published2026-10-06T13:40:50Z
Size
Maintainer
Scanned Release
Current Version
0.12.11 vulnerability
2026-10-06T13:40:50Z0
Package Dependencies
Direct Dependencies (0)
No dependencies - This package is self-contained!