diff --git a/lib/stormpy/__init__.py b/lib/stormpy/__init__.py index c2ff341..b71c36b 100644 --- a/lib/stormpy/__init__.py +++ b/lib/stormpy/__init__.py @@ -5,6 +5,9 @@ from .storage import * from .version import __version__ import stormpy.logic +from pycarl import Variable # needed for building parametric models + + core._set_up("")