Stack.Options.SolverParser
solverOptsParser