PyPI · pypi:passagemath-kissat

passagemath-kissat etkin

passagemath: Interface to the SAT solver kissat

passagemath-kissat paketinin en son kararlı sürümü 10.8.13; yayımlanma tarihi 2026-10-12. Vigia tarafından 2026-11-13 tarihinde doğrulandı.

Bakım

Yalnızca yayımlanma tarihlerine dayanan bir sezgisel ölçüm; issue’lara veya güvenlik sorunlarına yanıt sürelerini ölçmez.

Sürüm geçmişi

108 sürümün en yeni 20 tanesi gösteriliyor. JSON

Sürüm uyumluluğu

Her çalışma ortamı sürümünü desteklediğini belirten en yeni kararlı sürüm (her sürümle yayımlanan gereksinimlere göre).

Bu verileri yapay zekâ ajanınıza verin

claude mcp add --transport http vigia https://vigia.coredls.cloud/mcp

{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Sık sorulan sorular

Gözlenen değişiklikler

• Mon Oct 12 2026 08:40:56 GM +0000 (Coordinated Universal Time) — released 10.8.12 → 10.8.13

İlgili paketler

• types-m3u8
• documenttemplate
• dvc-ssh
• spaghetti
• djust
• lmcache
• django-pgbulk
• zope-contentprovider
• codemie-sdk-python
• drf-jsonschema-serializer
• osc-placement
• tf-estimator-nightly

README için rozetler

Bu paketin en son sürümünü, bakım durumunu ve kullanımdan kaldırılıp kaldırılmadığını gösterin. Markdown’ı kopyalayın:

[![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)

Ajanlar için

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