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.

Поддержка

Эвристика, основанная только на датах публикации; не отражает скорость реакции на issues и проблемы безопасности.

История версий

Показаны 20 самых новых из 108 версий. JSON

Совместимость версий

Самая новая стабильная версия, заявляющая поддержку каждой версии среды выполнения (по требованиям, опубликованным с каждой версией).

Передайте эти данные своему ИИ-агенту

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

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

Часто задаваемые вопросы

Зафиксированные изменения

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

Связанные пакеты

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

Бейджи для 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}