Vigia

PyPI · pypi:passagemath-kissat

passagemath-kissat 有効

passagemath: Interface to the SAT solver kissat

passagemath-kissat の最新の安定版は 10.8.13 で、2026-10-12 に公開されました。Vigia が 2026-11-13 に確認しました。

最新の安定版10.8.13
公開日2026-10-12 08:39:08 UTC
インストールpip install --upgrade passagemath-kissat
要件python <3.15,>=3.11
ライセンスGPL-2.0-or-later
最新バージョンのセキュリティ勧告既知のものなし
最終確認2026-11-13 17:01:49 UTC
出典pypi.org

メンテナンス

活動状況活発
最新の安定版2026-10-12 08:39:08 UTC · 32 日前
直近 12 か月の安定版リリース数26
公開済みバージョン数178

公開日のみに基づく推定です。Issue やセキュリティ問題への対応時間は反映していません。

バージョン履歴

バージョン公開日
10.8.132026-10-12 08:39:08 UTC
10.8.122026-09-24 19:15:25 UTC
10.8.112026-09-06 06:34:15 UTC
10.8.102026-08-27 08:30:12 UTC
10.8.92026-08-10 09:28:25 UTC
10.8.82026-08-04 23:44:45 UTC
10.8.72026-07-23 13:32:08 UTC
10.8.62026-07-16 00:44:24 UTC
10.8.52026-07-02 22:54:40 UTC
10.8.42026-04-20 14:38:43 UTC
10.8.32026-03-30 20:00:54 UTC
10.8.22026-03-11 09:08:35 UTC
10.8.12026-02-08 22:41:36 UTC
10.6.482026-02-02 12:53:12 UTC
10.6.472026-01-15 15:05:09 UTC
10.6.462026-01-12 14:37:37 UTC
10.6.452026-01-09 09:42:46 UTC
10.6.442026-01-06 02:44:12 UTC
10.6.432026-01-01 12:46:59 UTC
10.6.422025-12-14 13:39:21 UTC

全 108 バージョンのうち、新しい順に 20 件を表示しています。 JSON

バージョン互換性

各ランタイムバージョンのサポートを宣言している最新の安定版（各バージョンで公開された要件に基づく）。

ランタイム互換性のある最新バージョン
python 3.8なし
python 3.910.5.49
python 3.1010.6.48
python 3.1110.8.13
python 3.1210.8.13
python 3.1310.8.13

このデータを 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

よくある質問

passagemath-kissat の最新バージョンは？

passagemath-kissat の最新の安定版は 10.8.13 で、2026-10-12 に公開されました。Vigia が 2026-11-13 に確認しました。

passagemath-kissat の最新バージョンをインストールするには？

pip install --upgrade passagemath-kissat を実行します。最新の安定版は 10.8.13 です（2026-11-13 に確認）。

passagemath-kissat は非推奨ですか？

いいえ。passagemath-kissat はレジストリで非推奨とはされていません。

passagemath-kissat に必要な Python のバージョンは？

passagemath-kissat 10.8.13 は次の要件を宣言しています：python <3.15,>=3.11。

passagemath-kissat 10.8.13 に既知の脆弱性はありますか？

Vigia が確認しているデータでは、passagemath-kissat 10.8.13 に影響する既知のセキュリティ勧告はありません。

passagemath-kissat は今もメンテナンスされていますか？

passagemath-kissat は直近 12 か月で 26 件の安定版を公開しました。最新の公開は 32 日前です。活動状況：活発。

確認された変更

関連パッケージ

README 用バッジ

このパッケージの最新バージョン、メンテナンス状況、非推奨かどうかを表示できます。Markdown をコピーしてください：

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

エージェント向け

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