PyPI · pypi:python-sat

python-sat активен

A Python library for prototyping with SAT oracles

Последняя стабильная версия python-sat — 1.9.dev22, опубликована 2026-11-11. Проверено Vigia 2026-11-13.

Последняя стабильная версия	1.9.dev22
Опубликована	2026-11-11 01:57:38 UTC
Установка	`pip install --upgrade python-sat`
Требует	не указаны
Лицензия	MIT
Уведомления о безопасности для последней версии	неизвестны
Последняя проверка	2026-11-13 20:17:27 UTC
Источники	pypi.org

Поддержка

Активность	неизвестна
Последняя стабильная версия	—
Стабильных версий за последние 12 месяцев	0
Опубликовано версий	183

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

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

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 для pull request

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

Какая последняя версия python-sat?

Последняя стабильная версия python-sat — 1.9.dev22, опубликована 2026-11-11. Проверено Vigia 2026-11-13.

Как установить последнюю версию python-sat?

Выполните pip install --upgrade python-sat. Последняя стабильная версия — 1.9.dev22 (проверено 2026-11-13).

Устарел ли python-sat?

Нет. В реестре python-sat не помечен как устаревший.

Какая версия Python нужна для python-sat?

python-sat 1.9.dev22 не указывает требований к версии Python.

Есть ли у python-sat 1.9.dev22 известные уязвимости?

По данным, которые проверяет Vigia, известных уведомлений о безопасности для python-sat 1.9.dev22 нет.

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

Wed Nov 11 2026 02:01:10 GM +0000 (Coordinated Universal Time) — released 1.9.dev21 → 1.9.dev22
hu Nov 05 2026 11:26:08 GMT+0000 (Coordinated Universal Time) — released 1.9.dev20 → 1.9.dev21
Wed Nov 04 2026 10:09:57 GM +0000 (Coordinated Universal Time) — released 1.9.dev19 → 1.9.dev20
Wed Nov 04 2026 01:58:17 GM +0000 (Coordinated Universal Time) — released 1.9.dev18 → 1.9.dev19
Wed Nov 04 2026 01:57:16 GM +0000 (Coordinated Universal Time) — released 1.9.dev19 → 1.9.dev18
Wed Nov 04 2026 01:54:15 GM +0000 (Coordinated Universal Time) — released 1.9.dev18 → 1.9.dev19
ue Nov 03 2026 13:03:42 GMT+0000 (Coordinated Universal Time) — released 1.9.dev17 → 1.9.dev18
ue Oct 20 2026 02:51:59 GMT+0000 (Coordinated Universal Time) — released 1.9.dev16 → 1.9.dev17
ue Oct 20 2026 02:50:00 GMT+0000 (Coordinated Universal Time) — released 1.9.dev17 → 1.9.dev16
ue Oct 20 2026 02:49:00 GMT+0000 (Coordinated Universal Time) — released 1.9.dev16 → 1.9.dev17
hu Oct 15 2026 07:48:36 GMT+0000 (Coordinated Universal Time) — released 1.9.dev15 → 1.9.dev16

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

Бейджи для README

Покажите последнюю версию, статус поддержки и признак устаревания этого пакета. Скопируйте Markdown:

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

Для агентов

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