The Loandra MaxSAT solver Software

@misc{dagstuhl-artifact-24096,
   title = {{The Loandra MaxSAT solver}}, 
   author = {Berg, Jeremias},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:6babae3bfbb34e637ca99fab6b5f3a85f2263476;origin=https://github.com/jezberg/loandra;visit=swh:1:snp:18bafaa97d82e95ee7dc4c4767832093516eae37;anchor=swh:1:rev:b402e754d86b5558a3824fa285c3b99a5f2f11c8}{\texttt{swh:1:dir:6babae3bfbb34e637ca99fab6b5f3a85f2263476}} (visited on 2025-08-08)},
   url = {https://github.com/jezberg/loandra/tree/boums-cadical-integration},
   doi = {10.4230/artifacts.24096},
}