PyPI · pypi:passagemath-kissat

passagemath-kissat aktif

passagemath: Interface to the SAT solver kissat

Versi stabil terbaru passagemath-kissat adalah 10.8.13, diterbitkan pada 2026-10-12. Diverifikasi oleh Vigia pada 2026-11-13.

Pemeliharaan

Perkiraan yang hanya didasarkan pada tanggal terbit; tidak mengukur waktu tanggapan terhadap issue atau masalah keamanan.

Riwayat versi

Menampilkan 20 versi terbaru dari 108 versi. JSON

Kompatibilitas versi

Versi stabil terbaru yang menyatakan mendukung setiap versi runtime (berdasarkan persyaratan yang diterbitkan bersama setiap versi).

Berikan fakta ini ke agen AI Anda

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

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

Pertanyaan umum

Perubahan yang teramati

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

Paket terkait

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

Lencana untuk README Anda

Tampilkan versi terbaru, status pemeliharaan, dan status usang paket ini. Salin 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)

Untuk agen

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