add option for listing all solvers