Start API Documentation stormpy.environments EquationSolverType EquationSolverType¶ class EquationSolverType(*values)¶ Bases: Enum Solver type for equation systems ACYCLIC = 5¶ EIGEN = 2¶ ELIMINATION = 3¶ GMMXX = 1¶ NATIVE = 0¶ TOPOLOGICAL = 4¶