PyPI · pypi:pyboolector

PyBoolector attivo

Python wrapper around the Boolector SMT solver

L’ultima versione stabile di PyBoolector è la 3.2.4.38488416565, pubblicata il 2026-10-14. Verificato da Vigia il 2026-11-14.

Ultima versione stabile	3.2.4.38488416565
Pubblicata	2026-10-14 00:16:58 UTC
Installa	`pip install --upgrade PyBoolector`
Richiede	nessuno dichiarato
Licenza	—
Avvisi di sicurezza sull’ultima versione	nessuno noto
Ultima verifica	2026-11-14 00:50:24 UTC
Fonti	pypi.org

Manutenzione

Attività	attivo
Ultima versione stabile	2026-10-14 00:16:58 UTC · 31 giorni fa
Versioni stabili negli ultimi 12 mesi	3
Versioni pubblicate	117

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

Cronologia delle versioni

Versione	Pubblicata
`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

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

Compatibilità delle versioni

Versione stabile più recente che dichiara il supporto per ciascuna versione dell’ambiente (secondo i requisiti pubblicati con ogni versione).

Ambiente	Versione compatibile più 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`

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

L’ultima versione stabile di PyBoolector è la 3.2.4.38488416565, pubblicata il 2026-10-14. Verificato da Vigia il 2026-11-14.

Come installo l'ultima versione di PyBoolector?

Esegui pip install --upgrade PyBoolector. L'ultima versione stabile è 3.2.4.38488416565 (verificato il 2026-11-14).

PyBoolector è deprecato?

No. PyBoolector non è indicato come deprecato nel registro.

Quale versione di Python richiede PyBoolector?

PyBoolector 3.2.4.38488416565 non dichiara alcun requisito sulla versione di Python.

PyBoolector 3.2.4.38488416565 ha vulnerabilità note?

Nessun avviso di sicurezza noto riguarda PyBoolector 3.2.4.38488416565 secondo i dati consultati da Vigia.

PyBoolector è ancora mantenuto?

PyBoolector ha pubblicato 3 versioni stabili negli ultimi 12 mesi; la più recente 31 giorni fa. Attività: attivo.

Modifiche osservate

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

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/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)

Per gli agenti

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