Is z3prover safe to use?

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

What is the latest version of z3prover?

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

No known vulnerabilities on the latest version of z3prover.

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

DepScope has no curated alternatives for z3prover at this time.

z3prover is licensed under MIT.

condav4.16.0

The Z3 Theorem Prover

License MITpermissive12 versions1 maintainers0 deps815 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

20/25

maintenance

3/20

popularity

25/25

security

9/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/conda/z3prover

First published · 2025-01-24 23:17:04.088000+00:00

Last updated · 2026-02-19 09:27:00.746000+00:00