PyPI · pypi:pyboolector

PyBoolector actif

Python wrapper around the Boolector SMT solver

La dernière version stable de PyBoolector est la 3.2.4.38488416565, publiée le 2026-10-14. Vérifié par Vigia le 2026-11-14.

Dernière version stable	3.2.4.38488416565
Publiée	2026-10-14 00:16:58 UTC
Installer	`pip install --upgrade PyBoolector`
Exige	aucune déclarée
Licence	—
Alertes de sécurité sur la dernière version	aucune connue
Dernière vérification	2026-11-14 00:50:24 UTC
Sources	pypi.org

Maintenance

Activité	active
Dernière version stable	2026-10-14 00:16:58 UTC · il y a 31 jours
Versions stables sur les 12 derniers mois	3
Versions publiées	117

Heuristique fondée uniquement sur les dates de publication ; elle ne mesure pas les délais de réponse aux tickets ni aux problèmes de sécurité.

Historique des versions

Version	Publiée
`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

Affichage des 20 plus récentes sur 117 versions. JSON

Compatibilité des versions

Version stable la plus récente qui déclare prendre en charge chaque version de l’environnement (selon les exigences publiées avec chaque version).

Environnement	Version compatible la plus récente
`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`

Donnez ces données à votre agent IA

Vigia est un serveur MCP gratuit : votre agent de code vérifie les versions, les changements incompatibles et les vulnérabilités avant d'écrire du code. Sans inscription ni clé d'API.

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

Ajouter à Cursor Ajouter à VS Code ★ Étoile sur GitHub

Tout autre client MCP

{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Skill pour agents (SKILL.md) : indique à l'agent quand utiliser Vigia · GitHub Action pour les pull requests

Questions fréquentes

Quelle est la dernière version de PyBoolector ?

La dernière version stable de PyBoolector est la 3.2.4.38488416565, publiée le 2026-10-14. Vérifié par Vigia le 2026-11-14.

Comment installer la dernière version de PyBoolector ?

Exécutez pip install --upgrade PyBoolector. La dernière version stable est 3.2.4.38488416565 (vérifié le 2026-11-14).

PyBoolector est-il déprécié ?

Non. PyBoolector n’est pas marqué comme déprécié dans le registre.

Quelle version de Python PyBoolector exige-t-il ?

PyBoolector 3.2.4.38488416565 ne déclare aucune exigence de version de Python.

PyBoolector 3.2.4.38488416565 présente-t-il des vulnérabilités connues ?

Aucune alerte de sécurité connue ne concerne PyBoolector 3.2.4.38488416565 d’après les données consultées par Vigia.

PyBoolector est-il encore maintenu ?

PyBoolector a publié 3 versions stables au cours des 12 derniers mois ; la plus récente il y a 31 jours. Activité : active.

Changements observés

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

Paquets associés

Badges pour votre README

Affichez la dernière version, l’état de maintenance et l’éventuelle dépréciation de ce paquet. Copiez le 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)

Pour les agents

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