# cvc5 1.4.2

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Snapshot of gominimal/pkgs commit `c930e3121426c055f690867bf78f5bbd9c2c9826` (pushed 2026-10-11T00:34:22.000Z).

## Install

```sh
min add cvc5
```

## Direct advisories

None at this commit.

## Transitive advisories

None at this commit.

## Dependencies

- Build (9): base, toolchain, cmake, make, ninja, python, py-pyparsing, symfpu, gmp
- Runtime (3): glibc, gmp, gcc

## Links

- Package page (HTML): https://minimal.dev/pkgs/cvc5
- JSON API (floats latest): https://minimal.dev/api/pkgs/cvc5.json
- SBOM (CycloneDX 1.5): https://minimal.dev/api/pkgs/cvc5/sbom.json
- Build attestations (JSON): https://minimal.dev/api/pkgs/cvc5/attestation.json