diff --git a/src/storm/settings/modules/MinMaxEquationSolverSettings.cpp b/src/storm/settings/modules/MinMaxEquationSolverSettings.cpp index c8a4f7141..44bc678c2 100644 --- a/src/storm/settings/modules/MinMaxEquationSolverSettings.cpp +++ b/src/storm/settings/modules/MinMaxEquationSolverSettings.cpp @@ -57,6 +57,8 @@ namespace storm { return storm::solver::MinMaxMethod::IntervalIteration; } else if (minMaxEquationSolvingTechnique == "sound-value-iteration" || minMaxEquationSolvingTechnique == "svi") { return storm::solver::MinMaxMethod::SoundValueIteration; + } else if (minMaxEquationSolvingTechnique == "optimistic-value-iteration" || minMaxEquationSolvingTechnique == "ovi") { + return storm::solver::MinMaxMethod::OptimisticValueIteration; } else if (minMaxEquationSolvingTechnique == "topological") { return storm::solver::MinMaxMethod::Topological; } else if (minMaxEquationSolvingTechnique == "vi-to-pi") {