PyPI · pypi:python-sat

python-sat actif

A Python library for prototyping with SAT oracles

La dernière version stable de python-sat est la 1.9.dev22, publiée le 2026-11-11. Vérifié par Vigia le 2026-11-13.

Dernière version stable	1.9.dev22
Publiée	2026-11-11 01:57:38 UTC
Installer	`pip install --upgrade python-sat`
Exige	aucune déclarée
Licence	MIT
Alertes de sécurité sur la dernière version	aucune connue
Dernière vérification	2026-11-13 20:17:27 UTC
Sources	pypi.org

Maintenance

Activité	inconnue
Dernière version stable	—
Versions stables sur les 12 derniers mois	0
Versions publiées	183

Heuristique fondée uniquement sur les dates de publication ; elle ne mesure pas les délais de réponse aux tickets ni aux problèmes de sécurité.

Donnez ces données à votre agent IA

Vigia est un serveur MCP gratuit : votre agent de code vérifie les versions, les changements incompatibles et les vulnérabilités avant d'écrire du code. Sans inscription ni clé d'API.

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

Ajouter à Cursor Ajouter à VS Code ★ Étoile sur GitHub

Tout autre client MCP

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

Skill pour agents (SKILL.md) : indique à l'agent quand utiliser Vigia · GitHub Action pour les pull requests

Questions fréquentes

Quelle est la dernière version de python-sat ?

La dernière version stable de python-sat est la 1.9.dev22, publiée le 2026-11-11. Vérifié par Vigia le 2026-11-13.

Comment installer la dernière version de python-sat ?

Exécutez pip install --upgrade python-sat. La dernière version stable est 1.9.dev22 (vérifié le 2026-11-13).

python-sat est-il déprécié ?

Non. python-sat n’est pas marqué comme déprécié dans le registre.

Quelle version de Python python-sat exige-t-il ?

python-sat 1.9.dev22 ne déclare aucune exigence de version de Python.

python-sat 1.9.dev22 présente-t-il des vulnérabilités connues ?

Aucune alerte de sécurité connue ne concerne python-sat 1.9.dev22 d’après les données consultées par Vigia.

Changements observés

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

Paquets associés

Badges pour votre README

Affichez la dernière version, l’état de maintenance et l’éventuelle dépréciation de ce paquet. Copiez le 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)

Pour les agents

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