Propagators and Solvers for the Algebra of Modular Systems