# cvc5 (pypi)

- Status: active
- Latest stable version: 1.4.2 (published 2026-10-08T01:39:40.911405Z)
- Requires Python: none declared
- License: unknown
- Advisories on latest version: none known
- Verified: 2026-11-13T03:38:08.141Z
- Sources: https://pypi.org/pypi/cvc5/json

JSON: https://vigia.coredls.cloud/v1/packages/pypi/cvc5