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.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

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

Совместимость версий

Самая новая стабильная версия, заявляющая поддержку каждой версии среды выполнения (по требованиям, опубликованным с каждой версией).

Среда	Самая новая совместимая версия
`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`

Передайте эти данные своему ИИ-агенту

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 дней назад. Активность: активен.

Зафиксированные изменения

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

Связанные пакеты

Бейджи для 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}