pypi · pypi:z3-solver
z3-solver active
an efficient SMT solver library
| Latest stable version | 5.1.0.0 |
|---|---|
| Published | 2026-08-16 04:29:02 UTC |
| Requires | none declared |
| License | MIT License |
| Advisories on latest version | none known |
| Last verified | 2026-09-28 14:54:18 UTC |
| Sources | pypi.org |
Observed changes
No changes observed yet since Vigia started tracking this package.
For agents
GET https://vigia.coredls.cloud/v1/packages/pypi/z3-solver