Is libz3 safe to use?

libz3 has no known vulnerabilities on the latest version (4.16.0). DepScope rates its health at 64/100 (moderate risk).

What is the latest version of libz3?

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

No known vulnerabilities on the latest version of libz3.

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

DepScope has no curated alternatives for libz3 at this time.

condav4.16.0

The Z3 Theorem Prover

License MITpermissive6 versions1 maintainers0 deps237 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

20/25

maintenance

3/20

popularity

25/25

security

6/15

maturity

10/15

community

Vulnerabilities

none known

⚠ Possible typosquat

Name is close to a popular package. Targets:

libev (adjacent_swap_or_double dist 2)libpq (adjacent_swap_or_double dist 2)libuv (adjacent_swap_or_double dist 2)

API access

Get this data programmatically — free, no authentication.

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

First published · 2025-10-27 10:50:12.444000+00:00

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