Vigia

PyPI · pypi:pyboolector

PyBoolector aktiv

Python wrapper around the Boolector SMT solver

Die neueste stabile Version von PyBoolector ist 3.2.4.38488416565, veröffentlicht am 2026-10-14. Von Vigia geprüft am 2026-11-14.

Neueste stabile Version3.2.4.38488416565
Veröffentlicht2026-10-14 00:16:58 UTC
Installierenpip install --upgrade PyBoolector
Erfordertkeine angegeben
Lizenz—
Sicherheitshinweise zur neuesten Versionkeine bekannt
Zuletzt geprüft2026-11-14 00:50:24 UTC
Quellenpypi.org

Pflege

Aktivitätaktiv
Letzte stabile Version2026-10-14 00:16:58 UTC · vor 31 Tagen
Stabile Versionen in den letzten 12 Monaten3
Veröffentlichte Versionen117

Heuristik, die nur auf Veröffentlichungsdaten beruht; sie misst keine Reaktionszeiten auf Issues oder Sicherheitsprobleme.

Versionsverlauf

VersionVeröffentlicht
3.2.4.384884165652026-10-14 00:16:58 UTC
3.2.4.384870931472026-10-14 00:01:08 UTC
3.2.4.384856823992026-10-13 23:43:37 UTC
3.2.4.193420427392025-11-13 18:38:49 UTC
3.2.4.191996738262025-11-08 22:49:46 UTC
3.2.4.191995659672025-11-08 22:38:20 UTC
3.2.4.192025-11-08 22:32:46 UTC
3.2.4.20240823.12024-08-23 23:00:20 UTC
3.2.3.20240822.202024-08-23 00:56:58 UTC
3.2.3.20240822.12024-08-22 19:17:21 UTC
3.2.3.20240305.12024-03-05 22:53:52 UTC
3.2.3.20240215.12024-02-16 00:14:57 UTC
3.2.3.20231106.12023-11-07 00:46:50 UTC
3.2.3.20231101.12023-11-03 17:58:26 UTC
3.2.3.20230913.12023-09-13 18:08:33 UTC
3.2.3.20230911.52023-09-11 23:03:52 UTC
3.2.2.20230911.32023-09-11 19:10:11 UTC
3.2.2.20230110.42023-01-10 23:46:51 UTC
3.2.2.20230110.22023-01-10 21:34:11 UTC
3.2.2.20230110.12023-01-10 20:42:45 UTC

Die 20 neuesten von 117 Versionen werden angezeigt. JSON

Versionskompatibilität

Neueste stabile Version, die Unterstützung für die jeweilige Laufzeitversion angibt (laut den mit jeder Version veröffentlichten Anforderungen).

LaufzeitNeueste kompatible Version
python 3.83.2.4.38488416565
python 3.93.2.4.38488416565
python 3.103.2.4.38488416565
python 3.113.2.4.38488416565
python 3.123.2.4.38488416565
python 3.133.2.4.38488416565

Gib deinem KI-Agenten diese Fakten

Vigia ist ein kostenloser MCP-Server: Dein Coding-Agent prüft Versionen, Breaking Changes und Sicherheitslücken, bevor er Code schreibt. Ohne Anmeldung, ohne API-Schlüssel.

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

Zu Cursor hinzufügenZu VS Code hinzufügen★ Stern auf GitHub

Jeder andere MCP-Client
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Agent-Skill (SKILL.md): sagt dem Agenten, wann er Vigia nutzen soll · GitHub Action für Pull Requests

Häufige Fragen

Was ist die neueste Version von PyBoolector?

Die neueste stabile Version von PyBoolector ist 3.2.4.38488416565, veröffentlicht am 2026-10-14. Von Vigia geprüft am 2026-11-14.

Wie installiere ich die neueste Version von PyBoolector?

Führe pip install --upgrade PyBoolector aus. Die neueste stabile Version ist 3.2.4.38488416565 (geprüft am 2026-11-14).

Ist PyBoolector veraltet?

Nein. PyBoolector ist in der Registry nicht als veraltet gekennzeichnet.

Welche Python-Version benötigt PyBoolector?

PyBoolector 3.2.4.38488416565 gibt keine Anforderung an die Python-Version an.

Hat PyBoolector 3.2.4.38488416565 bekannte Sicherheitslücken?

Laut den von Vigia geprüften Daten betreffen keine bekannten Sicherheitshinweise PyBoolector 3.2.4.38488416565.

Wird PyBoolector noch gepflegt?

PyBoolector hat in den letzten 12 Monaten 3 stabile Versionen veröffentlicht; die neueste vor 31 Tagen. Aktivität: aktiv.

Beobachtete Änderungen

Verwandte Pakete

Badges für Ihre README

Zeigen Sie die neueste Version, den Pflegestatus und den Deprecation-Status dieses Pakets. Markdown kopieren:

[![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)

Für Agenten

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