PyPI · pypi:python-sat

python-sat actief

A Python library for prototyping with SAT oracles

De nieuwste stabiele versie van python-sat is 1.9.dev22, gepubliceerd op 2026-11-11. Geverifieerd door Vigia op 2026-11-13.

Nieuwste stabiele versie	1.9.dev22
Gepubliceerd	2026-11-11 01:57:38 UTC
Installeren	`pip install --upgrade python-sat`
Vereist	niets opgegeven
Licentie	MIT
Beveiligingsadviezen voor de nieuwste versie	geen bekend
Laatst geverifieerd	2026-11-13 20:17:27 UTC
Bronnen	pypi.org

Onderhoud

Activiteit	onbekend
Laatste stabiele versie	—
Stabiele versies in de afgelopen 12 maanden	0
Gepubliceerde versies	183

Heuristiek die alleen op publicatiedatums is gebaseerd; meet geen reactietijden op issues of beveiligingsproblemen.

Geef je AI-agent deze feiten

Vigia is een gratis MCP-server: je coding-agent controleert versies, breaking changes en kwetsbaarheden voordat hij code schrijft. Geen account, geen API-sleutel.

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

Toevoegen aan Cursor Toevoegen aan VS Code ★ Ster op GitHub

Elke andere MCP-client

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

Agent-skill (SKILL.md): vertelt de agent wanneer hij Vigia moet gebruiken · GitHub Action voor pull requests

Veelgestelde vragen

Wat is de nieuwste versie van python-sat?

De nieuwste stabiele versie van python-sat is 1.9.dev22, gepubliceerd op 2026-11-11. Geverifieerd door Vigia op 2026-11-13.

Hoe installeer ik de nieuwste versie van python-sat?

Voer pip install --upgrade python-sat uit. De nieuwste stabiele versie is 1.9.dev22 (gecontroleerd op 2026-11-13).

Is python-sat verouderd?

Nee. python-sat is in het register niet als verouderd gemarkeerd.

Welke Python-versie vereist python-sat?

python-sat 1.9.dev22 geeft geen vereiste voor de Python-versie op.

Heeft python-sat 1.9.dev22 bekende kwetsbaarheden?

Volgens de gegevens die Vigia controleert, gelden er geen bekende beveiligingsadviezen voor python-sat 1.9.dev22.

Waargenomen wijzigingen

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

Gerelateerde pakketten

Badges voor je README

Toon de nieuwste versie, de onderhoudsstatus en of dit pakket verouderd is. Kopieer de 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)

Voor agents

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