PyPI · pypi:cvc5

cvc5 etkin

Python bindings for cvc5 (BSD version)

cvc5 paketinin en son kararlı sürümü 1.4.2; yayımlanma tarihi 2026-10-08. Vigia tarafından 2026-11-13 tarihinde doğrulandı.

Bakım

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

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

Bu verileri yapay zekâ ajanınıza verin

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

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

Sık sorulan sorular

Gözlenen değişiklikler

Vigia bu paketi izlemeye başladığından beri henüz değişiklik gözlenmedi.

İlgili paketler

• adbc-driver-flightsql
• rule-engine
• azure-eventhub-checkpointstoreblob
• autologging
• linkml
• formic2
• lpc-checksum
• shodan
• local-crontab
• authres
• robotframework-assertion-engine
• k8

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/cvc5/version.svg)](https://vigia.coredls.cloud/pypi/cvc5)
[![maintained](https://vigia.coredls.cloud/badge/pypi/cvc5/maintained.svg)](https://vigia.coredls.cloud/pypi/cvc5)
[![status](https://vigia.coredls.cloud/badge/pypi/cvc5/status.svg)](https://vigia.coredls.cloud/pypi/cvc5)

Ajanlar için

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