Package Health/z3-solver
z3-solver
This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](https://github.com/Z3Prover/z3). It is available on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).
90%
Total Score
Maintainer Stability
Maintainer Stability
Assesses the consistency and reliability of package maintainers
99
Dependencies
Dependencies
Evaluates the health and security of package dependencies
100
Maturity
Maturity
Indicates package age, release frequency, and adoption metrics
100
Supply Chain
Supply Chain
Evaluates supply chain security practices and risks
100
Attestations
Attestations
Measures the presence and validity of package attestations and signatures
50
Vulnerabilities
We didn't find any vulnerabilities for this package.
Package versions
Direct Dependencies
| Dependency | Last Release | Score |
|---|---|---|
 async-mutex Version ^0.3.2 | — | — |
Weekly Downloads
Info
- Last Published
- 3 months ago
- Created
- 4 years ago
- Unpacked Size
- 33 MB
Are You Affected?
Connect your repositories to instantly see whether vulnerable or malicious packages exist in your codebase.
Free. No credit card required.
Resources
Industries
Use Cases
Compare
© 2026 Aikido Security BV | BE0792914919
Keizer Karelstraat 15, 9000, Ghent, Belgium
95 Third St, 2nd Fl, San Francisco, CA 94103, US
Unit 6.15 Runway East 18 18 Crucifix Ln, London SE1 3JW UK
Ghent, Belgium | San Francisco, US
SOC 2Compliant
ISO 27001Compliant