Dominik Schreiber, Niccolò Rigi-Luperti, Armin Biere: Streamlining Distributed SAT Solver Design. SAT 2025: 27:1-27:23