RustSAT Benchmarks Software

@misc{dagstuhl-artifact-24082,
   title = {{RustSAT Benchmarks}}, 
   author = {Jabs, Christoph},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:dd8bdc5aea20abd3ac594d6f24e58d1f8f05b480;origin=https://github.com/chrjabs/rustsat-benchmarks;visit=swh:1:snp:b2d1b9425cd8db832c925d5e20bf08d8886847c2;anchor=swh:1:rev:6fa407f9ac96cfbb52286c680fa07bcb319346de}{\texttt{swh:1:dir:dd8bdc5aea20abd3ac594d6f24e58d1f8f05b480}} (visited on 2025-08-07)},
   url = {https://github.com/chrjabs/rustsat-benchmarks},
   doi = {10.4230/artifacts.24082},
}