CaDiCaL 3.0 at SAT Competition 2026
-----------------------------------

This is a snapshot of CaDiCaL 3.0 submitted to the SAT Competition 2026.

There is in addition to the release version:

- this [`README-sc2026.md`](README-sc2026.md) file
- required [`build.sh`](build.sh) and [`run.sh`](run.sh) for the competition
- additional [`podman-pull.sh`](podman-pull.sh) and [`podman.sh`](podman.sh)`
  for testing the docker image
