Vigia

PyPI · pypi:pyboolector

PyBoolector активний

Python wrapper around the Boolector SMT solver

Остання стабільна версія PyBoolector — 3.2.4.38488416565, опублікована 2026-10-14. Перевірено Vigia 2026-11-14.

Остання стабільна версія3.2.4.38488416565
Опубліковано2026-10-14 00:16:58 UTC
Встановленняpip install --upgrade PyBoolector
Потребуєне вказано
Ліцензія—
Попередження безпеки для останньої версіїневідомі
Остання перевірка2026-11-14 00:50:24 UTC
Джерелаpypi.org

Підтримка

Активністьактивний
Остання стабільна версія2026-10-14 00:16:58 UTC · 31 днів тому
Стабільних версій за останні 12 місяців3
Опубліковано версій117

Евристика, що ґрунтується лише на датах публікації; не відображає швидкість реакції на issues та проблеми безпеки.

Історія версій

ВерсіяОпубліковано
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

Показано 20 найновіших із 117 версій. JSON

Сумісність версій

Найновіша стабільна версія, що заявляє підтримку кожної версії середовища виконання (за вимогами, опублікованими з кожною версією).

СередовищеНайновіша сумісна версія
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

Передайте ці дані своєму ШІ-агенту

Vigia — безкоштовний MCP-сервер: ваш агент для програмування перевіряє версії, несумісні зміни та вразливості, перш ніж писати код. Без реєстрації та API-ключа.

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

Додати в CursorДодати в VS Code★ Зірка на GitHub

Будь-який інший MCP-клієнт
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Навичка для агентів (SKILL.md): підказує агенту, коли використовувати Vigia · GitHub Action для pull request

Поширені запитання

Яка остання версія PyBoolector?

Остання стабільна версія PyBoolector — 3.2.4.38488416565, опублікована 2026-10-14. Перевірено Vigia 2026-11-14.

Як встановити останню версію PyBoolector?

Виконайте pip install --upgrade PyBoolector. Остання стабільна версія — 3.2.4.38488416565 (перевірено 2026-11-14).

Чи застарів PyBoolector?

Ні. У реєстрі PyBoolector не позначено як застарілий.

Яка версія Python потрібна для PyBoolector?

PyBoolector 3.2.4.38488416565 не вказує вимог до версії Python.

Чи має PyBoolector 3.2.4.38488416565 відомі вразливості?

За даними, які перевіряє Vigia, відомих попереджень безпеки для PyBoolector 3.2.4.38488416565 немає.

Чи підтримується PyBoolector?

За останні 12 місяців PyBoolector випустив 3 стабільних версій; останню — 31 днів тому. Активність: активний.

Зафіксовані зміни

Пов’язані пакети

Бейджі для README

Покажіть останню версію, стан підтримки та ознаку застарівання цього пакета. Скопіюйте 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)

Для агентів

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