PyPI · pypi:cvc5

cvc5 активний

Python bindings for cvc5 (BSD version)

Остання стабільна версія cvc5 — 1.4.2, опублікована 2026-10-08. Перевірено Vigia 2026-11-13.

Підтримка

Евристика, що ґрунтується лише на датах публікації; не відображає швидкість реакції на issues та проблеми безпеки.

Історія версій

Показано 20 найновіших із 22 версій. JSON

Передайте ці дані своєму ШІ-агенту

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

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

Поширені запитання

Зафіксовані зміни

Відколи Vigia відстежує цей пакет, змін ще не зафіксовано.

Пов’язані пакети

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

Бейджі для README

Покажіть останню версію, стан підтримки та ознаку застарівання цього пакета. Скопіюйте Markdown:

[![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)

Для агентів

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