PyPI · pypi:cvc5

cvc5 active

Python bindings for cvc5 (BSD version)

The latest stable version of cvc5 is 1.4.2, published on 2026-10-08. Verified by Vigia on 2026-11-13.

Latest stable version	1.4.2
Published	2026-10-08 01:39:40 UTC
Install	`pip install --upgrade cvc5`
Requires	none declared
License	—
Advisories on latest version	none known
Last verified	2026-11-13 03:38:08 UTC
Sources	pypi.org

Ask your AI assistant to check this

AI models are trained up to a date, so they can be wrong about versions, deprecations and vulnerabilities. Paste this into Claude, ChatGPT, Perplexity or Cursor and it will answer with the verified data on this page:

Before answering about the pypi package "cvc5", check Vigia (verified, dated facts): https://vigia.coredls.cloud/v1/packages/pypi/cvc5 . For my whole project use https://vigia.coredls.cloud/context

Check my whole package.json

Using an AI coding agent every day? Connect Vigia once and it checks this by itself.

Maintenance

Activity	active
Last stable release	2026-10-08 01:39:40 UTC · 36 days ago
Stable releases in the last 12 months	6
Published versions	22

Heuristic based only on release dates; it does not measure issue or security response times.

Version history

Version	Published
`1.4.2`	2026-10-08 01:39:40 UTC
`1.4.1`	2026-09-25 20:46:09 UTC
`1.4.0`	2026-09-17 21:29:51 UTC
`1.3.4`	2026-05-07 15:49:55 UTC
`1.3.3`	2026-02-25 21:02:53 UTC
`1.3.2`	2025-12-12 19:18:27 UTC
`1.3.1`	2025-09-24 20:56:01 UTC
`1.3.0`	2025-06-19 01:00:13 UTC
`1.2.1`	2025-01-27 23:26:28 UTC
`1.2.0`	2024-08-08 16:50:58 UTC
`1.1.2`	2024-03-01 17:43:42 UTC
`1.1.1`	2024-01-25 16:21:37 UTC
`1.1.0`	2023-12-21 01:29:50 UTC
`1.0.9`	2023-12-19 15:37:39 UTC
`1.0.8`	2023-08-31 19:18:58 UTC
`1.0.7`	2023-08-22 17:12:56 UTC
`1.0.5`	2023-03-13 16:36:17 UTC
`1.0.1`	2022-07-19 16:19:56 UTC
`1.0.0`	2022-04-06 01:14:15 UTC
`0.0.12`	2022-04-04 21:47:59 UTC

Showing the 20 most recent of 22 versions. JSON

Give your AI agent these facts

Vigia is a free MCP server: your coding agent checks versions, breaking changes and vulnerabilities before it writes code. No signup, no API key.

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

Add to Cursor Add to VS Code ★ Star on GitHub

Any other MCP client

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

Agent skill (SKILL.md): tells the agent when to use Vigia · GitHub Action for pull requests

Frequently asked questions

What is the latest version of cvc5?

The latest stable version of cvc5 is 1.4.2, published on 2026-10-08. Verified by Vigia on 2026-11-13.

How do I install the latest version of cvc5?

Run pip install --upgrade cvc5. The latest stable version is 1.4.2 (verified 2026-11-13).

Is cvc5 deprecated?

No. cvc5 is not marked as deprecated in the registry.

Which Python version does cvc5 require?

cvc5 1.4.2 does not declare a Python version requirement.

Does cvc5 1.4.2 have known vulnerabilities?

No known advisories affect cvc5 1.4.2 according to the data Vigia checks.

Is cvc5 still maintained?

cvc5 published 6 stable releases in the last 12 months; the most recent was 36 days ago. Activity: active.

Observed changes

No changes observed yet since Vigia started tracking this package.

Related packages

Badges for your README

Show the latest version, maintenance status and deprecation status of this package. Copy the 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)

For agents

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