PyPI · pypi:z3-solver
z3-solver activo
an efficient SMT solver library
| Última versión estable | 5.1.0.0 |
|---|---|
| Publicada | 2026-08-16 04:29:02 UTC |
| Requiere | sin restricción declarada |
| Licencia | MIT License |
| Avisos de seguridad en la última versión | ninguno conocido |
| Última verificación | 2026-09-28 19:19:57 UTC |
| Fuentes | pypi.org |
Mantenimiento
| Actividad | activo |
|---|---|
| Última versión estable | 2026-08-16 04:29:02 UTC · hace 43 días |
| Versiones estables en los últimos 12 meses | 8 |
| Versiones publicadas | 52 |
Heurística basada sólo en fechas de publicación; no mide tiempos de respuesta a issues ni a problemas de seguridad.
Historial de versiones
| Versión | Publicada |
|---|---|
5.1.0.0 | 2026-08-16 04:29:02 UTC |
5.0.0.0 | 2026-07-17 01:53:49 UTC |
4.16.0.0 | 2026-02-19 04:13:44 UTC |
4.15.8.0 | 2026-02-12 20:58:34 UTC |
4.15.7.0 retirada | 2026-02-09 01:08:27 UTC |
4.15.6.0 retirada | 2026-02-08 20:26:58 UTC |
4.15.5.0 retirada | 2026-02-07 19:34:37 UTC |
4.15.4.0 | 2025-10-29 18:11:46 UTC |
4.15.3.0 | 2025-08-16 02:27:18 UTC |
4.15.1.0 | 2025-06-08 18:54:25 UTC |
4.15.0.0 | 2025-05-10 01:15:21 UTC |
4.14.1.0 | 2025-03-11 00:02:56 UTC |
4.14.0.0 | 2025-02-18 22:41:18 UTC |
4.13.4.0 | 2024-12-16 16:44:03 UTC |
4.13.3.0 | 2024-10-10 23:41:48 UTC |
4.13.2.0 | 2024-09-27 17:36:47 UTC |
4.13.1.0 | 2024-09-26 21:33:40 UTC |
4.13.0.0 | 2024-03-07 19:19:36 UTC |
4.12.6.0 | 2024-02-24 23:17:12 UTC |
4.12.5.0 | 2024-01-21 19:15:09 UTC |
Se muestran las 20 más recientes de 52 versiones. JSON
Preguntas frecuentes
¿Cuál es la última versión de z3-solver?
La última versión estable de z3-solver es 5.1.0.0, publicada el 2026-08-16. Verificado por Vigia el 2026-09-28.
¿z3-solver está deprecado?
No. z3-solver no está marcado como deprecado en el registro.
¿Qué versión de Python requiere z3-solver?
z3-solver 5.1.0.0 no declara un requisito de versión de Python.
¿z3-solver 5.1.0.0 tiene vulnerabilidades conocidas?
No hay avisos de seguridad conocidos que afecten a z3-solver 5.1.0.0 según los datos que consulta Vigia.
¿z3-solver sigue mantenido?
z3-solver publicó 8 versiones estables en los últimos 12 meses; la más reciente hace 43 días. Actividad: activo.
Cambios observados
Todavía no se observaron cambios desde que Vigia sigue este paquete.
Paquetes relacionados
- sqlparams
- umap-learn
- pinecone
- jsonschema-rs
- aws-cdk-cloud-assembly-schema
- dynaconf
- azure-mgmt-trafficmanager
- dbt-postgres
- backports-strenum
- unittest-xml-reporting
- aioresponses
- daft
Para agentes
GET https://vigia.coredls.cloud/v1/packages/pypi/z3-solver
GET https://vigia.coredls.cloud/v1/packages/pypi/z3-solver/versions/{version}