Is z3-solver safe to use?

z3-solver has no known vulnerabilities on the latest version (4.16.0). DepScope rates its health at 78/100 (moderate risk).

What is the latest version of z3-solver?

The latest version of z3-solver is 4.16.0, released 2026-02-19.

Does z3-solver have known vulnerabilities?

No known vulnerabilities on the latest version of z3-solver.

Is z3-solver deprecated?

No, z3-solver is actively maintained. Latest release: 4.16.0 (2026-02-19).

What are alternatives to z3-solver?

Popular alternatives to z3-solver in npm include: ?, semver, minimatch, debug, brace-expansion.

What license does z3-solver use?

z3-solver is licensed under MIT.

z3-solver

npmv4.16.0

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).

License MITpermissive30 versions2 maintainers1 deps64,487 weekly dl

Z3Prover/z3

/ 100

Health

safe to use

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

Health breakdown0 – 100

20/25

maintenance

10/20

popularity

25/25

security

12/15

maturity

11/15

community

Vulnerabilities

none known

Bundle & TypeScript

📦

Bundle Size

136.3 KBminified

28.4 KB gzipped

1 direct dependencies

side effects

🌟

TypeScript

10/10typed

bundled

Health History

Dependency Tree

License Audit

Dependencies (1)

async-mutex

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/npm/z3-solver