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
• autologging
• azure-eventhub-checkpointstoreblob
• formic2
• linkml
• shodan
• lpc-checksum
• authres
• local-crontab
• 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}