Vigia

PyPI · pypi:pyboolector

PyBoolector aktywny

Python wrapper around the Boolector SMT solver

Najnowsza stabilna wersja PyBoolector to 3.2.4.38488416565, opublikowana 2026-10-14. Zweryfikowano przez Vigia 2026-11-14.

Najnowsza stabilna wersja3.2.4.38488416565
Opublikowano2026-10-14 00:16:58 UTC
Instalacjapip install --upgrade PyBoolector
Wymaganie zadeklarowano
Licencja—
Ostrzeżenia bezpieczeństwa dla najnowszej wersjibrak znanych
Ostatnia weryfikacja2026-11-14 00:50:24 UTC
Źródłapypi.org

Utrzymanie

Aktywnośćaktywny
Ostatnia stabilna wersja2026-10-14 00:16:58 UTC · 31 dni temu
Stabilne wersje w ciągu ostatnich 12 miesięcy3
Opublikowane wersje117

Heurystyka oparta wyłącznie na datach publikacji; nie mierzy czasu reakcji na zgłoszenia ani problemy bezpieczeństwa.

Historia wersji

WersjaOpublikowano
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

Wyświetlono 20 najnowszych z 117 wersji. JSON

Zgodność wersji

Najnowsza stabilna wersja deklarująca obsługę danej wersji środowiska (według wymagań publikowanych z każdą wersją).

ŚrodowiskoNajnowsza zgodna wersja
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

Przekaż te dane swojemu agentowi AI

Vigia to darmowy serwer MCP: Twój agent programistyczny sprawdza wersje, zmiany łamiące zgodność i podatności, zanim napisze kod. Bez rejestracji i klucza API.

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

Dodaj do CursorDodaj do VS Code★ Gwiazdka na GitHubie

Dowolny inny klient MCP
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Skill dla agentów (SKILL.md): mówi agentowi, kiedy używać Vigii · GitHub Action dla pull requestów

Najczęściej zadawane pytania

Jaka jest najnowsza wersja PyBoolector?

Najnowsza stabilna wersja PyBoolector to 3.2.4.38488416565, opublikowana 2026-10-14. Zweryfikowano przez Vigia 2026-11-14.

Jak zainstalować najnowszą wersję PyBoolector?

Uruchom pip install --upgrade PyBoolector. Najnowsza stabilna wersja to 3.2.4.38488416565 (sprawdzono 2026-11-14).

Czy PyBoolector jest wycofany?

Nie. PyBoolector nie jest oznaczony w rejestrze jako wycofany.

Jakiej wersji Python wymaga PyBoolector?

PyBoolector 3.2.4.38488416565 nie deklaruje wymagania dotyczącego wersji Python.

Czy PyBoolector 3.2.4.38488416565 ma znane podatności?

Według danych sprawdzanych przez Vigia żadne znane ostrzeżenia bezpieczeństwa nie dotyczą PyBoolector 3.2.4.38488416565.

Czy PyBoolector jest nadal utrzymywany?

PyBoolector opublikował 3 stabilnych wersji w ciągu ostatnich 12 miesięcy; najnowszą 31 dni temu. Aktywność: aktywny.

Zaobserwowane zmiany

Powiązane pakiety

Odznaki do README

Pokaż najnowszą wersję, stan utrzymania i informację o wycofaniu tego pakietu. Skopiuj 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)

Dla agentów

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