PyPI · pypi:pyboolector

PyBoolector ativo

Python wrapper around the Boolector SMT solver

A versão estável mais recente de PyBoolector é a 3.2.4.38488416565, publicada em 2026-10-14. Verificado pelo Vigia em 2026-11-14.

Versão estável mais recente	3.2.4.38488416565
Publicada	2026-10-14 00:16:58 UTC
Instalar	`pip install --upgrade PyBoolector`
Requer	nenhum declarado
Licença	—
Alertas de segurança na versão mais recente	nenhum conhecido
Última verificação	2026-11-14 00:50:24 UTC
Fontes	pypi.org

Manutenção

Atividade	ativo
Última versão estável	2026-10-14 00:16:58 UTC · há 31 dias
Versões estáveis nos últimos 12 meses	3
Versões publicadas	117

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ão	Publicada
`3.2.4.38488416565`	2026-10-14 00:16:58 UTC
`3.2.4.38487093147`	2026-10-14 00:01:08 UTC
`3.2.4.38485682399`	2026-10-13 23:43:37 UTC
`3.2.4.19342042739`	2025-11-13 18:38:49 UTC
`3.2.4.19199673826`	2025-11-08 22:49:46 UTC
`3.2.4.19199565967`	2025-11-08 22:38:20 UTC
`3.2.4.19`	2025-11-08 22:32:46 UTC
`3.2.4.20240823.1`	2024-08-23 23:00:20 UTC
`3.2.3.20240822.20`	2024-08-23 00:56:58 UTC
`3.2.3.20240822.1`	2024-08-22 19:17:21 UTC
`3.2.3.20240305.1`	2024-03-05 22:53:52 UTC
`3.2.3.20240215.1`	2024-02-16 00:14:57 UTC
`3.2.3.20231106.1`	2023-11-07 00:46:50 UTC
`3.2.3.20231101.1`	2023-11-03 17:58:26 UTC
`3.2.3.20230913.1`	2023-09-13 18:08:33 UTC
`3.2.3.20230911.5`	2023-09-11 23:03:52 UTC
`3.2.2.20230911.3`	2023-09-11 19:10:11 UTC
`3.2.2.20230110.4`	2023-01-10 23:46:51 UTC
`3.2.2.20230110.2`	2023-01-10 21:34:11 UTC
`3.2.2.20230110.1`	2023-01-10 20:42:45 UTC

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

Compatibilidade de versões

Versão estável mais recente que declara suporte para cada versão do ambiente (segundo os requisitos publicados com cada versão).

Ambiente	Versão compatível mais recente
`python 3.8`	`3.2.4.38488416565`
`python 3.9`	`3.2.4.38488416565`
`python 3.10`	`3.2.4.38488416565`
`python 3.11`	`3.2.4.38488416565`
`python 3.12`	`3.2.4.38488416565`
`python 3.13`	`3.2.4.38488416565`

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 Cursor Adicionar 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 PyBoolector?

A versão estável mais recente de PyBoolector é a 3.2.4.38488416565, publicada em 2026-10-14. Verificado pelo Vigia em 2026-11-14.

Como instalo a versão mais recente de PyBoolector?

Execute pip install --upgrade PyBoolector. A versão estável mais recente é 3.2.4.38488416565 (verificado em 2026-11-14).

PyBoolector está descontinuado?

Não. PyBoolector não está marcado como descontinuado no registro.

Qual versão do Python PyBoolector exige?

PyBoolector 3.2.4.38488416565 não declara um requisito de versão do Python.

PyBoolector 3.2.4.38488416565 tem vulnerabilidades conhecidas?

Nenhum alerta de segurança conhecido afeta PyBoolector 3.2.4.38488416565, segundo os dados consultados pelo Vigia.

PyBoolector ainda é mantido?

PyBoolector publicou 3 versões estáveis nos últimos 12 meses; a mais recente há 31 dias. Atividade: ativo.

Mudanças observadas

Wed Oct 14 2026 00:19:32 GM +0000 (Coordinated Universal Time) — released 3.2.4.38487093147 → 3.2.4.38488416565
Wed Oct 14 2026 00:04:29 GM +0000 (Coordinated Universal Time) — released 3.2.4.38485682399 → 3.2.4.38487093147
ue Oct 13 2026 23:45:22 GMT+0000 (Coordinated Universal Time) — released 3.2.4.19342042739 → 3.2.4.38485682399

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/pyboolector/version.svg)](https://vigia.coredls.cloud/pypi/pyboolector)
[![maintained](https://vigia.coredls.cloud/badge/pypi/pyboolector/maintained.svg)](https://vigia.coredls.cloud/pypi/pyboolector)
[![status](https://vigia.coredls.cloud/badge/pypi/pyboolector/status.svg)](https://vigia.coredls.cloud/pypi/pyboolector)

Para agentes

GET https://vigia.coredls.cloud/v1/packages/pypi/pyboolector
GET https://vigia.coredls.cloud/v1/packages/pypi/pyboolector/versions/{version}