Added CLI options for other solvers.