Install

All systems

curl cmd.cat/cadical.sh

Fedora

dnf install cadical

Dockerfile

dockerfile.run/cadical