Vigia

PyPI · pypi:z3-solver

z3-solver ativo

an efficient SMT solver library

A versão estável mais recente de z3-solver é a 5.4.1.0, publicada em 2026-11-11. Verificado pelo Vigia em 2026-11-13.

Versão estável mais recente5.4.1.0
Publicada2026-11-11 02:07:13 UTC
Instalarpip install --upgrade z3-solver
Requernenhum declarado
LicençaMIT License
Alertas de segurança na versão mais recentenenhum conhecido
Última verificação2026-11-13 20:56:42 UTC
Fontespypi.org

Manutenção

Atividadeativo
Última versão estável2026-11-11 02:07:13 UTC · há 2 dias
Versões estáveis nos últimos 12 meses13
Versões publicadas58

Heurística baseada apenas nas datas de publicação; não mede o tempo de resposta a issues nem a problemas de segurança.

Histórico de versões

VersãoPublicada
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 retirada2026-02-09 01:08:27 UTC
4.15.6.0 retirada2026-02-08 20:26:58 UTC
4.15.5.0 retirada2026-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

Exibindo as 20 mais recentes de 58 versões. JSON

Dê estes dados ao seu agente de IA

Vigia é um servidor MCP gratuito: seu agente de programação verifica versões, mudanças incompatíveis e vulnerabilidades antes de escrever código. Sem cadastro, sem chave de API.

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

Adicionar ao CursorAdicionar ao VS Code★ Estrela no GitHub

Qualquer outro cliente MCP
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Skill para agentes (SKILL.md): diz ao agente quando usar o Vigia · GitHub Action para pull requests

Perguntas frequentes

Qual é a versão mais recente de z3-solver?

A versão estável mais recente de z3-solver é a 5.4.1.0, publicada em 2026-11-11. Verificado pelo Vigia em 2026-11-13.

Como instalo a versão mais recente de z3-solver?

Execute pip install --upgrade z3-solver. A versão estável mais recente é 5.4.1.0 (verificado em 2026-11-13).

z3-solver está descontinuado?

Não. z3-solver não está marcado como descontinuado no registro.

Qual versão do Python z3-solver exige?

z3-solver 5.4.1.0 não declara um requisito de versão do Python.

z3-solver 5.4.1.0 tem vulnerabilidades conhecidas?

Nenhum alerta de segurança conhecido afeta z3-solver 5.4.1.0, segundo os dados consultados pelo Vigia.

z3-solver ainda é mantido?

z3-solver publicou 13 versões estáveis nos últimos 12 meses; a mais recente há 2 dias. Atividade: ativo.

Mudanças observadas

Pacotes relacionados

Badges para o seu README

Mostre a versão mais recente, o status de manutenção e se este pacote está descontinuado. Copie o 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)

Para agentes

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