z3-solver

v4.16.0.0PyPI· Python

an efficient SMT solver library

The verdict

Solid choice. Well-adopted and active, actively maintained.

Live from the PyPI registry · derived rules, not AI

How it scores

MaintenanceHealthy

PopularityWidely used

SecurityClean

LicenseOther

DepsLean

Maintenance

Last published 3 months ago.

Popularity

954K downloads / week

Security

No known advisories for this version (OSV).

License

MIT License

Dependencies

1 direct dependency

Recent releases