Is z3_solver safe to use?

z3_solver has no known vulnerabilities on the latest version (4.16.0.0). DepScope rates its health at 59/100 (high risk).

What is the latest version of z3_solver?

The latest version of z3_solver is 4.16.0.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.0 (2026-02-19).

What are alternatives to z3_solver?

Popular alternatives to z3_solver in PyPI include: boto3, packaging, urllib3, idna, certifi.

What license does z3_solver use?

z3_solver is licensed under MIT License.

z3_solver

pypiv4.16.0.0

an efficient SMT solver library

License MIT Licensepermissive50 versions1 maintainers1 deps

Z3Prover/z3

/ 100

Health

use with caution

[email protected] low health (59/100) — consider alternatives

Moderate health score (59/100) — verify manually

Health breakdown0 – 100

20/25

maintenance

0/20

popularity

25/25

security

12/15

maturity

2/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

Dependencies (1)

importlib-resources;

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/z3_solver