D-Painless: A Framework for Distributed Portfolio SAT Solving. - Mazigh Saoudi; Souheib Baarir; Julien Sopena; Thibault Lejemble (TACAS (2), 2025)