Add AbelianGroupSolver