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

What is the latest version of z3?

The latest version of z3 is 4.16.0, released 2026-06-08.

Does z3 have known vulnerabilities?

No known vulnerabilities on the latest version of z3.

No, z3 is actively maintained. Latest release: 4.16.0 (2026-06-08).

What are alternatives to z3?

DepScope has no curated alternatives for z3 at this time.

z3

homebrewv4.16.0

High-performance theorem prover

License MITpermissive1 versions1 maintainers2 deps13,422 weekly dl

Z3Prover/z3

/ 100

Health

safe to use

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

Health breakdown0 – 100

25/25

maintenance

10/20

popularity

25/25

security

9/15

maturity

10/15

community

Vulnerabilities

none known

Maintainer trust

Active maintainers (3m)

9

Contributors (12m)

9

Primary author dominance

28%

GitHub stars

12,194

Health History

Dependency Tree

License Audit

Dependencies (2)

cmake [email protected]

API access

Get this data programmatically — free, no authentication.

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

Last updated · 2026-06-08T22:11:52Z

z3

homebrewv4.16.0

High-performance theorem prover

License MITpermissive1 versions1 maintainers2 deps13,422 weekly dl

Z3Prover/z3

/ 100

Health

safe to use

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

Health breakdown0 – 100

25/25

maintenance

10/20

popularity

25/25

security

9/15

maturity

10/15

community

Vulnerabilities

none known

Maintainer trust

Active maintainers (3m)

9

Contributors (12m)

9

Primary author dominance

28%

GitHub stars

12,194

Health History

Dependency Tree

License Audit

Dependencies (2)

cmake [email protected]

API access

Get this data programmatically — free, no authentication.

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

Last updated · 2026-06-08T22:11:52Z