Solver module was added.