PyPI · pypi:python-sat

python-sat aktif

A Python library for prototyping with SAT oracles

Versi stabil terbaru python-sat adalah 1.9.dev22, diterbitkan pada 2026-11-11. Diverifikasi oleh Vigia pada 2026-11-13.

Versi stabil terbaru	1.9.dev22
Diterbitkan	2026-11-11 01:57:38 UTC
Instal	`pip install --upgrade python-sat`
Membutuhkan	tidak dinyatakan
Lisensi	MIT
Peringatan keamanan pada versi terbaru	tidak ada yang diketahui
Terakhir diverifikasi	2026-11-13 20:17:27 UTC
Sumber	pypi.org

Pemeliharaan

Aktivitas	tidak diketahui
Versi stabil terakhir	—
Versi stabil dalam 12 bulan terakhir	0
Versi yang diterbitkan	183

Perkiraan yang hanya didasarkan pada tanggal terbit; tidak mengukur waktu tanggapan terhadap issue atau masalah keamanan.

Berikan fakta ini ke agen AI Anda

Vigia adalah server MCP gratis: agen coding Anda memeriksa versi, perubahan yang merusak kompatibilitas, dan kerentanan sebelum menulis kode. Tanpa pendaftaran, tanpa kunci API.

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

Tambahkan ke Cursor Tambahkan ke VS Code ★ Bintang di GitHub

Klien MCP lainnya

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

Skill agen (SKILL.md): memberi tahu agen kapan memakai Vigia · GitHub Action untuk pull request

Pertanyaan umum

Apa versi terbaru python-sat?

Versi stabil terbaru python-sat adalah 1.9.dev22, diterbitkan pada 2026-11-11. Diverifikasi oleh Vigia pada 2026-11-13.

Bagaimana cara menginstal versi terbaru python-sat?

Jalankan pip install --upgrade python-sat. Versi stabil terbaru adalah 1.9.dev22 (diverifikasi 2026-11-13).

Apakah python-sat sudah usang?

Tidak. python-sat tidak ditandai sebagai usang di registri.

Versi Python berapa yang dibutuhkan python-sat?

python-sat 1.9.dev22 tidak menyatakan kebutuhan versi Python.

Apakah python-sat 1.9.dev22 memiliki kerentanan yang diketahui?

Tidak ada peringatan keamanan yang diketahui untuk python-sat 1.9.dev22 menurut data yang diperiksa Vigia.

Perubahan yang teramati

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

Paket terkait

Lencana untuk README Anda

Tampilkan versi terbaru, status pemeliharaan, dan status usang paket ini. Salin 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)

Untuk agen

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