Streamlining Distributed SAT Solver Design. - Dominik Schreiber 001; Niccolò Rigi-Luperti; Armin Biere (SAT, 2025)