PyPI · pypi:python-sat

python-sat active

A Python library for prototyping with SAT oracles

The latest stable version of python-sat is 1.9.dev22, published on 2026-11-11. Verified by Vigia on 2026-11-13.

Latest stable version	1.9.dev22
Published	2026-11-11 01:57:38 UTC
Install	`pip install --upgrade python-sat`
Requires	none declared
License	MIT
Advisories on latest version	none known
Last verified	2026-11-13 02:17:24 UTC
Sources	pypi.org

Maintenance

Activity	unknown
Last stable release	—
Stable releases in the last 12 months	0
Published versions	183

Heuristic based only on release dates; it does not measure issue or security response times.

Give your AI agent these facts

Vigia is a free MCP server: your coding agent checks versions, breaking changes and vulnerabilities before it writes code. No signup, no API key.

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

Add to Cursor Add to VS Code ★ Star on GitHub

Any other MCP client

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

Agent skill (SKILL.md): tells the agent when to use Vigia · GitHub Action for pull requests

Frequently asked questions

What is the latest version of python-sat?

The latest stable version of python-sat is 1.9.dev22, published on 2026-11-11. Verified by Vigia on 2026-11-13.

How do I install the latest version of python-sat?

Run pip install --upgrade python-sat. The latest stable version is 1.9.dev22 (verified 2026-11-13).

Is python-sat deprecated?

No. python-sat is not marked as deprecated in the registry.

Which Python version does python-sat require?

python-sat 1.9.dev22 does not declare a Python version requirement.

Does python-sat 1.9.dev22 have known vulnerabilities?

No known advisories affect python-sat 1.9.dev22 according to the data Vigia checks.

Observed changes

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

Related packages

Badges for your README

Show the latest version, maintenance status and deprecation status of this package. Copy the 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)

For agents

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