Varieties of Semiring Solvers via Multicategorical and Algebraic Constructions