From 2c393174a6237bdc860f1fc6185a95148bd8525b Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Mon, 27 Nov 2023 09:06:39 +0100 Subject: [PATCH] Remove MinMaxMethod "topological_cuda" see https://github.com/moves-rwth/storm/pull/431 --- src/core/environment.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/core/environment.cpp b/src/core/environment.cpp index 2e23f971b..9fa4f06af 100644 --- a/src/core/environment.cpp +++ b/src/core/environment.cpp @@ -34,7 +34,6 @@ void define_environment(py::module& m) { .value("interval_iteration", storm::solver::MinMaxMethod::IntervalIteration) .value("sound_value_iteration", storm::solver::MinMaxMethod::SoundValueIteration) .value("optimistic_value_iteration", storm::solver::MinMaxMethod::OptimisticValueIteration) - .value("topological_cuda", storm::solver::MinMaxMethod::TopologicalCuda) ; py::class_(m, "Environment", "Environment")