PyPI · pypi:python-sat

python-sat ativo

A Python library for prototyping with SAT oracles

A versão estável mais recente de python-sat é a 1.9.dev22, publicada em 2026-11-11. Verificado pelo Vigia em 2026-11-13.

Versão estável mais recente	1.9.dev22
Publicada	2026-11-11 01:57:38 UTC
Instalar	`pip install --upgrade python-sat`
Requer	nenhum declarado
Licença	MIT
Alertas de segurança na versão mais recente	nenhum conhecido
Última verificação	2026-11-13 20:17:27 UTC
Fontes	pypi.org

Manutenção

Atividade	desconhecida
Última versão estável	—
Versões estáveis nos últimos 12 meses	0
Versões publicadas	183

Heurística baseada apenas nas datas de publicação; não mede o tempo de resposta a issues nem a problemas de segurança.

Dê estes dados ao seu agente de IA

Vigia é um servidor MCP gratuito: seu agente de programação verifica versões, mudanças incompatíveis e vulnerabilidades antes de escrever código. Sem cadastro, sem chave de API.

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

Adicionar ao Cursor Adicionar ao VS Code ★ Estrela no GitHub

Qualquer outro cliente MCP

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

Skill para agentes (SKILL.md): diz ao agente quando usar o Vigia · GitHub Action para pull requests

Perguntas frequentes

Qual é a versão mais recente de python-sat?

A versão estável mais recente de python-sat é a 1.9.dev22, publicada em 2026-11-11. Verificado pelo Vigia em 2026-11-13.

Como instalo a versão mais recente de python-sat?

Execute pip install --upgrade python-sat. A versão estável mais recente é 1.9.dev22 (verificado em 2026-11-13).

python-sat está descontinuado?

Não. python-sat não está marcado como descontinuado no registro.

Qual versão do Python python-sat exige?

python-sat 1.9.dev22 não declara um requisito de versão do Python.

python-sat 1.9.dev22 tem vulnerabilidades conhecidas?

Nenhum alerta de segurança conhecido afeta python-sat 1.9.dev22, segundo os dados consultados pelo Vigia.

Mudanças observadas

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

Pacotes relacionados

Badges para o seu README

Mostre a versão mais recente, o status de manutenção e se este pacote está descontinuado. Copie o 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)

Para agentes

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