Vigia

PyPI · pypi:pyboolector

PyBoolector etkin

Python wrapper around the Boolector SMT solver

PyBoolector paketinin en son kararlı sürümü 3.2.4.38488416565; yayımlanma tarihi 2026-10-14. Vigia tarafından 2026-11-14 tarihinde doğrulandı.

En son kararlı sürüm3.2.4.38488416565
Yayımlanma2026-10-14 00:16:58 UTC
Kurulumpip install --upgrade PyBoolector
Gerektirirbelirtilmemiş
Lisans—
En son sürüme ait güvenlik bildirimleribilinen yok
Son doğrulama2026-11-14 00:50:24 UTC
Kaynaklarpypi.org

Bakım

Etkinliketkin
Son kararlı sürüm2026-10-14 00:16:58 UTC · 31 gün önce
Son 12 aydaki kararlı sürümler3
Yayımlanan sürümler117

Yalnızca yayımlanma tarihlerine dayanan bir sezgisel ölçüm; issue’lara veya güvenlik sorunlarına yanıt sürelerini ölçmez.

Sürüm geçmişi

SürümYayımlanma
3.2.4.384884165652026-10-14 00:16:58 UTC
3.2.4.384870931472026-10-14 00:01:08 UTC
3.2.4.384856823992026-10-13 23:43:37 UTC
3.2.4.193420427392025-11-13 18:38:49 UTC
3.2.4.191996738262025-11-08 22:49:46 UTC
3.2.4.191995659672025-11-08 22:38:20 UTC
3.2.4.192025-11-08 22:32:46 UTC
3.2.4.20240823.12024-08-23 23:00:20 UTC
3.2.3.20240822.202024-08-23 00:56:58 UTC
3.2.3.20240822.12024-08-22 19:17:21 UTC
3.2.3.20240305.12024-03-05 22:53:52 UTC
3.2.3.20240215.12024-02-16 00:14:57 UTC
3.2.3.20231106.12023-11-07 00:46:50 UTC
3.2.3.20231101.12023-11-03 17:58:26 UTC
3.2.3.20230913.12023-09-13 18:08:33 UTC
3.2.3.20230911.52023-09-11 23:03:52 UTC
3.2.2.20230911.32023-09-11 19:10:11 UTC
3.2.2.20230110.42023-01-10 23:46:51 UTC
3.2.2.20230110.22023-01-10 21:34:11 UTC
3.2.2.20230110.12023-01-10 20:42:45 UTC

117 sürümün en yeni 20 tanesi gösteriliyor. JSON

Sürüm uyumluluğu

Her çalışma ortamı sürümünü desteklediğini belirten en yeni kararlı sürüm (her sürümle yayımlanan gereksinimlere göre).

OrtamEn yeni uyumlu sürüm
python 3.83.2.4.38488416565
python 3.93.2.4.38488416565
python 3.103.2.4.38488416565
python 3.113.2.4.38488416565
python 3.123.2.4.38488416565
python 3.133.2.4.38488416565

Bu verileri yapay zekâ ajanınıza verin

Vigia ücretsiz bir MCP sunucusudur: kodlama ajanınız kod yazmadan önce sürümleri, uyumsuz değişiklikleri ve güvenlik açıklarını kontrol eder. Kayıt ve API anahtarı gerekmez.

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

Cursor'a ekleVS Code'a ekle★ GitHub'da yıldız ver

Diğer tüm MCP istemcileri
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Ajan becerisi (SKILL.md): ajana Vigia'yı ne zaman kullanacağını söyler · Pull request için GitHub Action

Sık sorulan sorular

PyBoolector paketinin en son sürümü nedir?

PyBoolector paketinin en son kararlı sürümü 3.2.4.38488416565; yayımlanma tarihi 2026-10-14. Vigia tarafından 2026-11-14 tarihinde doğrulandı.

PyBoolector paketinin en son sürümünü nasıl kurarım?

pip install --upgrade PyBoolector komutunu çalıştırın. En son kararlı sürüm 3.2.4.38488416565 (2026-11-14 tarihinde doğrulandı).

PyBoolector kullanımdan kaldırıldı mı?

Hayır. PyBoolector kayıt defterinde kullanımdan kaldırılmış olarak işaretli değil.

PyBoolector hangi Python sürümünü gerektiriyor?

PyBoolector 3.2.4.38488416565 bir Python sürüm gereksinimi belirtmiyor.

PyBoolector 3.2.4.38488416565 sürümünde bilinen güvenlik açıkları var mı?

Vigia’nın kontrol ettiği verilere göre PyBoolector 3.2.4.38488416565 sürümünü etkileyen bilinen bir güvenlik bildirimi yok.

PyBoolector hâlâ bakımı yapılıyor mu?

PyBoolector son 12 ayda 3 kararlı sürüm yayımladı; en sonuncusu 31 gün önce. Etkinlik: etkin.

Gözlenen değişiklikler

İlgili paketler

README için rozetler

Bu paketin en son sürümünü, bakım durumunu ve kullanımdan kaldırılıp kaldırılmadığını gösterin. Markdown’ı kopyalayın:

[![version](https://vigia.coredls.cloud/badge/pypi/pyboolector/version.svg)](https://vigia.coredls.cloud/pypi/pyboolector)
[![maintained](https://vigia.coredls.cloud/badge/pypi/pyboolector/maintained.svg)](https://vigia.coredls.cloud/pypi/pyboolector)
[![status](https://vigia.coredls.cloud/badge/pypi/pyboolector/status.svg)](https://vigia.coredls.cloud/pypi/pyboolector)

Ajanlar için

GET https://vigia.coredls.cloud/v1/packages/pypi/pyboolector
GET https://vigia.coredls.cloud/v1/packages/pypi/pyboolector/versions/{version}