SolverEnvironment

class SolverEnvironment

Bases: pybind11_object

Environment for solvers

property force_exact

Whether exact solving is enforced

property force_soundness

Whether sound results are enforced

get_linear_equation_solver_type(

self: stormpy.environments.SolverEnvironment,

) → stormpy.environments.EquationSolverType

Get the solver type for linear equation systems

min_max(self: stormpy.environments.SolverEnvironment)

Get the environment for min-max solvers

native(self: stormpy.environments.SolverEnvironment)

Get the environment for native solvers

set_linear_equation_solver_type(

self: stormpy.environments.SolverEnvironment,

value: stormpy.environments.EquationSolverType,

is_set_from_default: bool = False,

) → None

Set the solver type for linear equation systems