PyPI · pypi:python-sat

python-sat aktywny

A Python library for prototyping with SAT oracles

Najnowsza stabilna wersja python-sat to 1.9.dev22, opublikowana 2026-11-11. Zweryfikowano przez Vigia 2026-11-13.

Najnowsza stabilna wersja	1.9.dev22
Opublikowano	2026-11-11 01:57:38 UTC
Instalacja	`pip install --upgrade python-sat`
Wymaga	nie zadeklarowano
Licencja	MIT
Ostrzeżenia bezpieczeństwa dla najnowszej wersji	brak znanych
Ostatnia weryfikacja	2026-11-13 20:17:27 UTC
Źródła	pypi.org

Utrzymanie

Aktywność	nieznana
Ostatnia stabilna wersja	—
Stabilne wersje w ciągu ostatnich 12 miesięcy	0
Opublikowane wersje	183

Heurystyka oparta wyłącznie na datach publikacji; nie mierzy czasu reakcji na zgłoszenia ani problemy bezpieczeństwa.

Przekaż te dane swojemu agentowi AI

Vigia to darmowy serwer MCP: Twój agent programistyczny sprawdza wersje, zmiany łamiące zgodność i podatności, zanim napisze kod. Bez rejestracji i klucza API.

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

Dodaj do Cursor Dodaj do VS Code ★ Gwiazdka na GitHubie

Dowolny inny klient MCP

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

Skill dla agentów (SKILL.md): mówi agentowi, kiedy używać Vigii · GitHub Action dla pull requestów

Najczęściej zadawane pytania

Jaka jest najnowsza wersja python-sat?

Najnowsza stabilna wersja python-sat to 1.9.dev22, opublikowana 2026-11-11. Zweryfikowano przez Vigia 2026-11-13.

Jak zainstalować najnowszą wersję python-sat?

Uruchom pip install --upgrade python-sat. Najnowsza stabilna wersja to 1.9.dev22 (sprawdzono 2026-11-13).

Czy python-sat jest wycofany?

Nie. python-sat nie jest oznaczony w rejestrze jako wycofany.

Jakiej wersji Python wymaga python-sat?

python-sat 1.9.dev22 nie deklaruje wymagania dotyczącego wersji Python.

Czy python-sat 1.9.dev22 ma znane podatności?

Według danych sprawdzanych przez Vigia żadne znane ostrzeżenia bezpieczeństwa nie dotyczą python-sat 1.9.dev22.

Zaobserwowane zmiany

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

Powiązane pakiety

Odznaki do README

Pokaż najnowszą wersję, stan utrzymania i informację o wycofaniu tego pakietu. Skopiuj 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)

Dla agentów

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