exact

exact() → Environment

Create a new environment which enforces exact computations.

Exact solution methods are selected. Note that exact computations additionally require a model with exact value type, e.g., stormpy.build_model[stormpy.Rational].

Returns:

The environment.