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 · 3 日前
直近 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 件の安定版を公開しました。最新の公開は 3 日前です。活動状況：活発。

確認された変更

関連パッケージ

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}