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 56/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.

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

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

DepScope has no curated alternatives for z3-solver at this time.

z3-solver is licensed under MIT.

condav4.16.0.0

The Z3 Theorem Prover

License MITpermissive7 versions1 maintainers0 deps522 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

20/25

maintenance

3/20

popularity

25/25

security

6/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

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

First published · 2025-10-27 10:49:40.677000+00:00

Last updated · 2026-02-19 09:26:58.877000+00:00