z3 has no known vulnerabilities on the latest version (4.15.4). DepScope rates its health at 62/100 (moderate risk).

What is the latest version of z3?

The latest version of z3 is 4.15.4, released 2026-03-20.

Does z3 have known vulnerabilities?

No known vulnerabilities on the latest version of z3.

No, z3 is actively maintained. Latest release: 4.15.4 (2026-03-20).

DepScope has no curated alternatives for z3 at this time.

homebrewv4.15.4

High-performance theorem prover

License MITpermissive1 versions1 maintainers2 deps9,812 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

20/25

maintenance

6/20

popularity

25/25

security

9/15

maturity

2/15

community

Vulnerabilities

none known

Maintainer trust

Active maintainers (3m)

9

Contributors (12m)

9

Primary author dominance

28%

GitHub stars

12,194

Dependencies (2)

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/homebrew/z3

Last updated · 2026-03-20T11:38:18Z