Allow tab completion for solvers