Vigia

PyPI · pypi:z3-solver

z3-solver 活跃

an efficient SMT solver library

z3-solver 的最新稳定版本是 5.4.1.0，发布于 2026-11-11。Vigia 于 2026-11-13 核实。

最新稳定版本5.4.1.0
发布时间2026-11-11 02:07:13 UTC
安装pip install --upgrade z3-solver
运行要求未声明
许可证MIT License
最新版本的安全公告暂无已知
最近核实2026-11-13 20:56:42 UTC
来源pypi.org

维护情况

活跃度活跃
最近的稳定版本2026-11-11 02:07:13 UTC · 2 天前
过去 12 个月的稳定版本数13
已发布版本数58

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

版本历史

版本发布时间
5.4.1.02026-11-11 02:07:13 UTC
5.4.0.02026-11-10 04:31:16 UTC
5.3.3.02026-10-29 14:13:49 UTC
5.3.2.02026-10-25 13:35:47 UTC
5.3.1.02026-10-15 21:26:58 UTC
5.3.0.02026-10-14 21:00:32 UTC
5.1.0.02026-08-16 04:29:02 UTC
5.0.0.02026-07-17 01:53:49 UTC
4.16.0.02026-02-19 04:13:44 UTC
4.15.8.02026-02-12 20:58:34 UTC
4.15.7.0 已撤回2026-02-09 01:08:27 UTC
4.15.6.0 已撤回2026-02-08 20:26:58 UTC
4.15.5.0 已撤回2026-02-07 19:34:37 UTC
4.15.4.02025-10-29 18:11:46 UTC
4.15.3.02025-08-16 02:27:18 UTC
4.15.1.02025-06-08 18:54:25 UTC
4.15.0.02025-05-10 01:15:21 UTC
4.14.1.02025-03-11 00:02:56 UTC
4.14.0.02025-02-18 22:41:18 UTC
4.13.4.02024-12-16 16:44:03 UTC

显示 58 个版本中最新的 20 个。 JSON

把这些数据交给你的 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

常见问题

z3-solver 的最新版本是什么？

z3-solver 的最新稳定版本是 5.4.1.0，发布于 2026-11-11。Vigia 于 2026-11-13 核实。

如何安装 z3-solver 的最新版本？

运行 pip install --upgrade z3-solver。最新稳定版本是 5.4.1.0（2026-11-13 核实）。

z3-solver 是否已弃用？

否。注册表中 z3-solver 未被标记为已弃用。

z3-solver 需要哪个版本的 Python？

z3-solver 5.4.1.0 未声明对 Python 版本的要求。

z3-solver 5.4.1.0 是否存在已知漏洞？

根据 Vigia 检查的数据，没有已知安全公告影响 z3-solver 5.4.1.0。

z3-solver 是否仍在维护？

z3-solver 在过去 12 个月内发布了 13 个稳定版本，最近一次在 2 天前。活跃度：活跃。

观察到的变更

相关软件包

用于 README 的徽章

展示此软件包的最新版本、维护状态以及是否已弃用。复制 Markdown：

[![version](https://vigia.coredls.cloud/badge/pypi/z3-solver/version.svg)](https://vigia.coredls.cloud/pypi/z3-solver)
[![maintained](https://vigia.coredls.cloud/badge/pypi/z3-solver/maintained.svg)](https://vigia.coredls.cloud/pypi/z3-solver)
[![status](https://vigia.coredls.cloud/badge/pypi/z3-solver/status.svg)](https://vigia.coredls.cloud/pypi/z3-solver)

供智能体使用

GET https://vigia.coredls.cloud/v1/packages/pypi/z3-solver
GET https://vigia.coredls.cloud/v1/packages/pypi/z3-solver/versions/{version}