Florian Pollitt, Mathias Fleury, Katalin Fazekas, Nils Froleyks, Armin Biere: CaDiCaL 2.2 System Description Artifact. Zenodo 2025