PyPI · pypi:z3-solver

z3-solver 活跃

an efficient SMT solver library

维护情况

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

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

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

z3-solver 的最新稳定版本是 5.1.0.0，发布于 2026-08-16。Vigia 于 2026-09-28 核实。

z3-solver 是否已弃用？

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

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

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

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

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

z3-solver 是否仍在维护？

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

自 Vigia 开始跟踪此软件包以来，尚未观察到变更。

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