PyPI · pypi:python-sat

python-sat aktiv

A Python library for prototyping with SAT oracles

Die neueste stabile Version von python-sat ist 1.9.dev22, veröffentlicht am 2026-11-11. Von Vigia geprüft am 2026-11-13.

Neueste stabile Version	1.9.dev22
Veröffentlicht	2026-11-11 01:57:38 UTC
Installieren	`pip install --upgrade python-sat`
Erfordert	keine angegeben
Lizenz	MIT
Sicherheitshinweise zur neuesten Version	keine bekannt
Zuletzt geprüft	2026-11-13 20:17:27 UTC
Quellen	pypi.org

Pflege

Aktivität	unbekannt
Letzte stabile Version	—
Stabile Versionen in den letzten 12 Monaten	0
Veröffentlichte Versionen	183

Heuristik, die nur auf Veröffentlichungsdaten beruht; sie misst keine Reaktionszeiten auf Issues oder Sicherheitsprobleme.

Gib deinem KI-Agenten diese Fakten

Vigia ist ein kostenloser MCP-Server: Dein Coding-Agent prüft Versionen, Breaking Changes und Sicherheitslücken, bevor er Code schreibt. Ohne Anmeldung, ohne API-Schlüssel.

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

Zu Cursor hinzufügen Zu VS Code hinzufügen ★ Stern auf GitHub

Jeder andere MCP-Client

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

Agent-Skill (SKILL.md): sagt dem Agenten, wann er Vigia nutzen soll · GitHub Action für Pull Requests

Häufige Fragen

Was ist die neueste Version von python-sat?

Die neueste stabile Version von python-sat ist 1.9.dev22, veröffentlicht am 2026-11-11. Von Vigia geprüft am 2026-11-13.

Wie installiere ich die neueste Version von python-sat?

Führe pip install --upgrade python-sat aus. Die neueste stabile Version ist 1.9.dev22 (geprüft am 2026-11-13).

Ist python-sat veraltet?

Nein. python-sat ist in der Registry nicht als veraltet gekennzeichnet.

Welche Python-Version benötigt python-sat?

python-sat 1.9.dev22 gibt keine Anforderung an die Python-Version an.

Hat python-sat 1.9.dev22 bekannte Sicherheitslücken?

Laut den von Vigia geprüften Daten betreffen keine bekannten Sicherheitshinweise python-sat 1.9.dev22.

Beobachtete Änderungen

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

Badges für Ihre README

Zeigen Sie die neueste Version, den Pflegestatus und den Deprecation-Status dieses Pakets. Markdown kopieren:

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

Für Agenten

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