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}