PACE Solver Description: OBLX Exact Solver for the Dominating Set Problem. - Jona Dirks; Enna Gerhard; Victoria Kaial; Lucas Lorieau (IPEC, 2025)