Add submodule solvers