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

仅根据发布时间估算，不反映对 issue 或安全问题的响应速度。

版本历史

版本	发布时间
`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

显示 117 个版本中最新的 20 个。 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`

把这些数据交给你的 AI 智能体

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

常见问题

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 未被标记为已弃用。

PyBoolector 需要哪个版本的 Python？

PyBoolector 3.2.4.38488416565 未声明对 Python 版本的要求。

PyBoolector 3.2.4.38488416565 是否存在已知漏洞？

根据 Vigia 检查的数据，没有已知安全公告影响 PyBoolector 3.2.4.38488416565。

PyBoolector 是否仍在维护？

PyBoolector 在过去 12 个月内发布了 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}