# cadical 2.1.2

CaDiCaL SAT Solver

Snapshot of gominimal/pkgs commit `07874076e00bd478c89d3bc385db8e19407a9dc5` (pushed 2026-09-14T21:31:25.000Z).

## Install

```sh
min add cadical
```

## Direct advisories

None at this commit.

## Transitive advisories

2 advisories inherited through runtime dependencies:

- CVE-2026-5435 (HIGH) via glibc
- CVE-2026-6238 (MEDIUM) via glibc

## Dependencies

- Build (3): base, toolchain, make
- Runtime (1): glibc

## Links

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