Vigia

PyPI · pypi:z3-solver

z3-solver attivo

an efficient SMT solver library

L’ultima versione stabile di z3-solver è la 5.4.1.0, pubblicata il 2026-11-11. Verificato da Vigia il 2026-11-13.

Ultima versione stabile5.4.1.0
Pubblicata2026-11-11 02:07:13 UTC
Installapip install --upgrade z3-solver
Richiedenessuno dichiarato
LicenzaMIT License
Avvisi di sicurezza sull’ultima versionenessuno noto
Ultima verifica2026-11-13 20:56:42 UTC
Fontipypi.org

Manutenzione

Attivitàattivo
Ultima versione stabile2026-11-11 02:07:13 UTC · 2 giorni fa
Versioni stabili negli ultimi 12 mesi13
Versioni pubblicate58

Euristica basata solo sulle date di pubblicazione; non misura i tempi di risposta alle issue né ai problemi di sicurezza.

Cronologia delle versioni

VersionePubblicata
5.4.1.02026-11-11 02:07:13 UTC
5.4.0.02026-11-10 04:31:16 UTC
5.3.3.02026-10-29 14:13:49 UTC
5.3.2.02026-10-25 13:35:47 UTC
5.3.1.02026-10-15 21:26:58 UTC
5.3.0.02026-10-14 21:00:32 UTC
5.1.0.02026-08-16 04:29:02 UTC
5.0.0.02026-07-17 01:53:49 UTC
4.16.0.02026-02-19 04:13:44 UTC
4.15.8.02026-02-12 20:58:34 UTC
4.15.7.0 ritirata2026-02-09 01:08:27 UTC
4.15.6.0 ritirata2026-02-08 20:26:58 UTC
4.15.5.0 ritirata2026-02-07 19:34:37 UTC
4.15.4.02025-10-29 18:11:46 UTC
4.15.3.02025-08-16 02:27:18 UTC
4.15.1.02025-06-08 18:54:25 UTC
4.15.0.02025-05-10 01:15:21 UTC
4.14.1.02025-03-11 00:02:56 UTC
4.14.0.02025-02-18 22:41:18 UTC
4.13.4.02024-12-16 16:44:03 UTC

Sono mostrate le 20 più recenti su 58 versioni. JSON

Dai questi dati al tuo agente IA

Vigia è un server MCP gratuito: il tuo agente di programmazione verifica versioni, modifiche incompatibili e vulnerabilità prima di scrivere codice. Senza registrazione né chiave API.

claude mcp add --transport http vigia https://vigia.coredls.cloud/mcp

Aggiungi a CursorAggiungi a VS Code★ Stella su GitHub

Qualsiasi altro client MCP
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Skill per agenti (SKILL.md): dice all'agente quando usare Vigia · GitHub Action per le pull request

Domande frequenti

Qual è l’ultima versione di z3-solver?

L’ultima versione stabile di z3-solver è la 5.4.1.0, pubblicata il 2026-11-11. Verificato da Vigia il 2026-11-13.

Come installo l'ultima versione di z3-solver?

Esegui pip install --upgrade z3-solver. L'ultima versione stabile è 5.4.1.0 (verificato il 2026-11-13).

z3-solver è deprecato?

No. z3-solver non è indicato come deprecato nel registro.

Quale versione di Python richiede z3-solver?

z3-solver 5.4.1.0 non dichiara alcun requisito sulla versione di Python.

z3-solver 5.4.1.0 ha vulnerabilità note?

Nessun avviso di sicurezza noto riguarda z3-solver 5.4.1.0 secondo i dati consultati da Vigia.

z3-solver è ancora mantenuto?

z3-solver ha pubblicato 13 versioni stabili negli ultimi 12 mesi; la più recente 2 giorni fa. Attività: attivo.

Modifiche osservate

Pacchetti correlati

Badge per il tuo README

Mostra l’ultima versione, lo stato di manutenzione e l’eventuale deprecazione di questo pacchetto. Copia il Markdown:

[![version](https://vigia.coredls.cloud/badge/pypi/z3-solver/version.svg)](https://vigia.coredls.cloud/pypi/z3-solver)
[![maintained](https://vigia.coredls.cloud/badge/pypi/z3-solver/maintained.svg)](https://vigia.coredls.cloud/pypi/z3-solver)
[![status](https://vigia.coredls.cloud/badge/pypi/z3-solver/status.svg)](https://vigia.coredls.cloud/pypi/z3-solver)

Per gli agenti

GET https://vigia.coredls.cloud/v1/packages/pypi/z3-solver
GET https://vigia.coredls.cloud/v1/packages/pypi/z3-solver/versions/{version}