z3-solver

pypiv4.16.0.0

an efficient SMT solver library

License: MIT License50 versions1 maintainers1 deps414,576 weekly downloads
Z3Prover/z3
73
/100
Health Score

Recommendation

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

Health Breakdown

20/25
maintenance
14/20
popularity
25/25
security
12/15
maturity
2/15
community

Vulnerabilities

No known vulnerabilities in the latest version.

Dependencies (1)

importlib-resources;

API Access

Get this data programmatically — free, no authentication required:

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

Last updated: 2026-02-19T04:13:44.303318Z

Data from DepScope — Package Intelligence for AI Agents

z3-solver — Health Score 73/100 | DepScope