@misc{dagstuhl-artifact-24212,
title = {{jreeves3/ulc-cadical}},
author = {Sheng, Aeacus and Reeves, Joseph E. and Heule, Marijn J. H.},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:615c90061cfad33b59249832fb0043defef84419;origin=https://github.com/jreeves3/ulc-cadical;visit=swh:1:snp:f96217667e13be0663f27340946c119cf64504c9;anchor=swh:1:rev:bb9484ab042c423c1c37fa63dbac3679957afff1}{\texttt{swh:1:dir:615c90061cfad33b59249832fb0043defef84419}} (visited on 2025-08-07)},
url = {https://github.com/jreeves3/ulc-cadical},
doi = {10.4230/artifacts.24212},
}